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-3689656-1337884021/watcher-3689656-1337884021 -o /tmp/evaluation-result-3689656-1337884021/solver-3689656-1337884021 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689656-1337884021.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.80 3.89 3.82 3/197 25664
/proc/meminfo: memFree=25294688/32873844 swapFree=7100/7100
[pid=25664] ppid=25662 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/25664/stat : 25664 (java) D 25662 25664 22059 0 -1 4202496 239 0 0 0 0 0 0 0 20 0 1 0 254529055 9515008 175 33554432000 1073741824 1073778376 140735249971952 140735249954680 233411789712 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/25664/statm: 2323 175 133 9 0 71 0
[startup+0.0836439 s]
/proc/loadavg: 3.80 3.89 3.82 3/197 25664
/proc/meminfo: memFree=25294688/32873844 swapFree=7100/7100
[pid=25664] ppid=25662 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/25664/stat : 25664 (java) S 25662 25664 22059 0 -1 4202496 3278 0 1 0 5 1 0 0 20 0 18 0 254529055 9787813888 4488 33554432000 1073741824 1073778376 140734504056096 140734504047232 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25664/statm: 2389603 4488 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.100253 s]
/proc/loadavg: 3.80 3.89 3.82 3/197 25664
/proc/meminfo: memFree=25294688/32873844 swapFree=7100/7100
[pid=25664] ppid=25662 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/25664/stat : 25664 (java) S 25662 25664 22059 0 -1 4202496 3982 0 1 0 7 1 0 0 20 0 18 0 254529055 9787813888 5192 33554432000 1073741824 1073778376 140734504056096 140734504047232 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25664/statm: 2389603 5195 2036 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.30024 s]
/proc/loadavg: 3.80 3.89 3.82 3/197 25664
/proc/meminfo: memFree=25294688/32873844 swapFree=7100/7100
[pid=25664] ppid=25662 vsize=9558412 CPUtime=0.54 cores=0,2,4,6
/proc/25664/stat : 25664 (java) S 25662 25664 22059 0 -1 4202496 7547 0 1 0 52 2 0 0 20 0 18 0 254529055 9787813888 10418 33554432000 1073741824 1073778376 140734504056096 140734504047232 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25664/statm: 2389603 10418 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558412
[startup+0.712434 s]
/proc/loadavg: 3.80 3.89 3.82 3/197 25664
/proc/meminfo: memFree=25294688/32873844 swapFree=7100/7100
[pid=25664] ppid=25662 vsize=9558412 CPUtime=1.48 cores=0,2,4,6
/proc/25664/stat : 25664 (java) S 25662 25664 22059 0 -1 4202496 13670 0 1 0 142 6 0 0 20 0 18 0 254529055 9787813888 45824 33554432000 1073741824 1073778376 140734504056096 140734504047232 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25664/statm: 2389603 45824 2251 9 0 2380296 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9558412
[startup+1.50071 s]
/proc/loadavg: 3.80 3.89 3.82 7/219 25686
/proc/meminfo: memFree=25119296/32873844 swapFree=7100/7100
[pid=25664] ppid=25662 vsize=9824668 CPUtime=3.99 cores=0,2,4,6
/proc/25664/stat : 25664 (java) S 25662 25664 22059 0 -1 4202496 17042 0 1 0 390 9 0 0 20 0 22 0 254529055 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140734504047232 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25664/statm: 2456167 51131 2271 9 0 2446860 0
[pid=25664/tid=25666] ppid=25662 vsize=9824668 CPUtime=0.71 cores=0,2,4,6
/proc/25664/task/25666/stat : 25666 (java) S 25662 25664 22059 0 -1 4202560 2519 0 1 0 68 3 0 0 20 0 22 0 254529056 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577994900472 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25667] ppid=25662 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25664/task/25667/stat : 25667 (java) S 25662 25664 22059 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 254529058 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577973001256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25668] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25668/stat : 25668 (java) S 25662 25664 22059 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254529058 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577971948456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25669] ppid=25662 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25664/task/25669/stat : 25669 (java) S 25662 25664 22059 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 254529058 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577769253672 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25670] ppid=25662 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25664/task/25670/stat : 25670 (java) S 25662 25664 22059 0 -1 4202560 24 0 0 0 1 1 0 0 20 0 22 0 254529058 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577768200872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25671] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25671/stat : 25671 (java) S 25662 25664 22059 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254529058 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577767148072 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25672] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25672/stat : 25672 (java) S 25662 25664 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254529058 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577766095272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25673] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25673/stat : 25673 (java) S 25662 25664 22059 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254529058 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577765042472 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25674] ppid=25662 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25664/task/25674/stat : 25674 (java) S 25662 25664 22059 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 254529058 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577763989672 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25675] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25675/stat : 25675 (java) S 25662 25664 22059 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 254529059 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577751792616 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25676] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25676/stat : 25676 (java) S 25662 25664 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254529059 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577750738680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25677] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25677/stat : 25677 (java) S 25662 25664 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254529059 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577749685768 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25678] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25678/stat : 25678 (java) S 25662 25664 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254529062 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577748634256 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25679] ppid=25662 vsize=9824668 CPUtime=0.81 cores=0,2,4,6
/proc/25664/task/25679/stat : 25679 (java) S 25662 25664 22059 0 -1 4202560 7449 0 0 0 81 0 0 0 20 0 22 0 254529062 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577747581368 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25680] ppid=25662 vsize=9824668 CPUtime=0.86 cores=0,2,4,6
/proc/25664/task/25680/stat : 25680 (java) S 25662 25664 22059 0 -1 4202560 5627 0 0 0 84 2 0 0 20 0 22 0 254529062 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577746528568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25681] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25681/stat : 25681 (java) S 25662 25664 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254529062 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577745475960 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25682] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25682/stat : 25682 (java) S 25662 25664 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254529062 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577744423368 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25683] ppid=25662 vsize=9824668 CPUtime=0.69 cores=0,2,4,6
/proc/25664/task/25683/stat : 25683 (java) R 25662 25664 22059 0 -1 4202560 26 0 0 0 69 0 0 0 20 0 22 0 254529132 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577743367280 140577853727240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25684] ppid=25662 vsize=9824668 CPUtime=0.68 cores=0,2,4,6
/proc/25664/task/25684/stat : 25684 (java) R 25662 25664 22059 0 -1 4202560 71 0 0 0 68 0 0 0 20 0 22 0 254529132 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577742316360 140577854011524 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25685] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25685/stat : 25685 (java) S 25662 25664 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254529135 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577741264296 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25686] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25686/stat : 25686 (java) S 25662 25664 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254529135 10060460032 51131 33554432000 1073741824 1073778376 140734504056096 140577740211496 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 9824668
[startup+3.10071 s]
/proc/loadavg: 3.80 3.89 3.82 5/219 25686
/proc/meminfo: memFree=25036352/32873844 swapFree=7100/7100
[pid=25664] ppid=25662 vsize=9824668 CPUtime=7.41 cores=0,2,4,6
/proc/25664/stat : 25664 (java) S 25662 25664 22059 0 -1 4202496 18264 0 1 0 728 13 0 0 20 0 22 0 254529055 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140734504047232 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25664/statm: 2456167 85568 2272 9 0 2446860 0
[pid=25664/tid=25666] ppid=25662 vsize=9824668 CPUtime=0.71 cores=0,2,4,6
/proc/25664/task/25666/stat : 25666 (java) S 25662 25664 22059 0 -1 4202560 2519 0 1 0 68 3 0 0 20 0 22 0 254529056 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577994900472 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25667] ppid=25662 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25664/task/25667/stat : 25667 (java) S 25662 25664 22059 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 22 0 254529058 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577973001256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25668] ppid=25662 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25664/task/25668/stat : 25668 (java) S 25662 25664 22059 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 254529058 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577971948456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25669] ppid=25662 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25664/task/25669/stat : 25669 (java) S 25662 25664 22059 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 22 0 254529058 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577769253672 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25670] ppid=25662 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25664/task/25670/stat : 25670 (java) S 25662 25664 22059 0 -1 4202560 27 0 0 0 2 1 0 0 20 0 22 0 254529058 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577768200872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25671] ppid=25662 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25664/task/25671/stat : 25671 (java) S 25662 25664 22059 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 254529058 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577767148072 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25672] ppid=25662 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25664/task/25672/stat : 25672 (java) S 25662 25664 22059 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 254529058 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577766095272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25673] ppid=25662 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25664/task/25673/stat : 25673 (java) S 25662 25664 22059 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 254529058 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577765042472 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25674] ppid=25662 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25664/task/25674/stat : 25674 (java) S 25662 25664 22059 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 254529058 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577763989672 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25675] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25675/stat : 25675 (java) S 25662 25664 22059 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 254529059 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577751792616 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25676] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25676/stat : 25676 (java) S 25662 25664 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254529059 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577750738680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25677] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25677/stat : 25677 (java) S 25662 25664 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254529059 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577749685768 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25678] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25678/stat : 25678 (java) S 25662 25664 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254529062 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577748634256 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25679] ppid=25662 vsize=9824668 CPUtime=0.88 cores=0,2,4,6
/proc/25664/task/25679/stat : 25679 (java) S 25662 25664 22059 0 -1 4202560 8439 0 0 0 87 1 0 0 20 0 22 0 254529062 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577747581368 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25680] ppid=25662 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/25664/task/25680/stat : 25680 (java) S 25662 25664 22059 0 -1 4202560 5628 0 0 0 96 2 0 0 20 0 22 0 254529062 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577746528568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25681] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25681/stat : 25681 (java) S 25662 25664 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254529062 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577745475960 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25682] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25682/stat : 25682 (java) S 25662 25664 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254529062 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577744423368 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25683] ppid=25662 vsize=9824668 CPUtime=2.25 cores=0,2,4,6
/proc/25664/task/25683/stat : 25683 (java) R 25662 25664 22059 0 -1 4202560 27 0 0 0 225 0 0 0 20 0 22 0 254529132 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577743369448 140577854003080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25684] ppid=25662 vsize=9824668 CPUtime=2.24 cores=0,2,4,6
/proc/25664/task/25684/stat : 25684 (java) R 25662 25664 22059 0 -1 4202560 128 0 0 0 222 2 0 0 20 0 22 0 254529132 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577742316288 140577854135313 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25685] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25685/stat : 25685 (java) S 25662 25664 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254529135 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577741264296 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25686] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25686/stat : 25686 (java) S 25662 25664 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254529135 10060460032 85568 33554432000 1073741824 1073778376 140734504056096 140577740211496 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 9824668
[startup+6.30071 s]
/proc/loadavg: 3.82 3.89 3.82 5/219 25686
/proc/meminfo: memFree=24800292/32873844 swapFree=7100/7100
[pid=25664] ppid=25662 vsize=9824668 CPUtime=14.48 cores=0,2,4,6
/proc/25664/stat : 25664 (java) S 25662 25664 22059 0 -1 4202496 25512 0 1 0 1426 22 0 0 20 0 22 0 254529055 10060460032 158730 33554432000 1073741824 1073778376 140734504056096 140734504047232 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25664/statm: 2456167 158730 2285 9 0 2446860 0
[pid=25664/tid=25666] ppid=25662 vsize=9824668 CPUtime=0.71 cores=0,2,4,6
/proc/25664/task/25666/stat : 25666 (java) S 25662 25664 22059 0 -1 4202560 2519 0 1 0 68 3 0 0 20 0 22 0 254529056 10060460032 158730 33554432000 1073741824 1073778376 140734504056096 140577994900472 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25667] ppid=25662 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/25664/task/25667/stat : 25667 (java) S 25662 25664 22059 0 -1 4202560 53 0 0 0 6 2 0 0 20 0 22 0 254529058 10060460032 158730 33554432000 1073741824 1073778376 140734504056096 140577973001256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25668] ppid=25662 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/25664/task/25668/stat : 25668 (java) S 25662 25664 22059 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 22 0 254529058 10060460032 158730 33554432000 1073741824 1073778376 140734504056096 140577971948456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25669] ppid=25662 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/25664/task/25669/stat : 25669 (java) S 25662 25664 22059 0 -1 4202560 69 0 0 0 6 2 0 0 20 0 22 0 254529058 10060460032 158730 33554432000 1073741824 1073778376 140734504056096 140577769253672 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25670] ppid=25662 vsize=9824668 CPUtime=0.09 cores=0,2,4,6
/proc/25664/task/25670/stat : 25670 (java) S 25662 25664 22059 0 -1 4202560 77 0 0 0 6 3 0 0 20 0 22 0 254529058 10060460032 158730 33554432000 1073741824 1073778376 140734504056096 140577768200872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25671] ppid=25662 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/25664/task/25671/stat : 25671 (java) S 25662 25664 22059 0 -1 4202560 29 0 0 0 5 0 0 0 20 0 22 0 254529058 10060460032 158730 33554432000 1073741824 1073778376 140734504056096 140577767148072 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25672] ppid=25662 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/25664/task/25672/stat : 25672 (java) S 25662 25664 22059 0 -1 4202560 38 0 0 0 5 2 0 0 20 0 22 0 254529058 10060460032 158730 33554432000 1073741824 1073778376 140734504056096 140577766095272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25673] ppid=25662 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/25664/task/25673/stat : 25673 (java) S 25662 25664 22059 0 -1 4202560 27 0 0 0 6 0 0 0 20 0 22 0 254529058 10060460032 158730 33554432000 1073741824 1073778376 140734504056096 140577765042472 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25674] ppid=25662 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/25664/task/25674/stat : 25674 (java) S 25662 25664 22059 0 -1 4202560 37 0 0 0 4 2 0 0 20 0 22 0 254529058 10060460032 158730 33554432000 1073741824 1073778376 140734504056096 140577763989672 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25675] ppid=25662 vsize=9824668 CPUtime=0.11 cores=0,2,4,6
/proc/25664/task/25675/stat : 25675 (java) S 25662 25664 22059 0 -1 4202560 492 0 0 0 11 0 0 0 20 0 22 0 254529059 10060460032 158730 33554432000 1073741824 1073778376 140734504056096 140577751792616 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25676] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25676/stat : 25676 (java) S 25662 25664 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254529059 10060460032 158730 33554432000 1073741824 1073778376 140734504056096 140577750738680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25677] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25677/stat : 25677 (java) S 25662 25664 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254529059 10060460032 158730 33554432000 1073741824 1073778376 140734504056096 140577749685768 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25678] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25678/stat : 25678 (java) S 25662 25664 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254529062 10060460032 158730 33554432000 1073741824 1073778376 140734504056096 140577748634256 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25679] ppid=25662 vsize=9824668 CPUtime=1.45 cores=0,2,4,6
/proc/25664/task/25679/stat : 25679 (java) S 25662 25664 22059 0 -1 4202560 14444 0 0 0 143 2 0 0 20 0 22 0 254529062 10060460032 158730 33554432000 1073741824 1073778376 140734504056096 140577747581368 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
################
# More data... #
################
[pid=25664/tid=25684] ppid=25662 vsize=9824668 CPUtime=716.2 cores=0,2,4,6
/proc/25664/task/25684/stat : 25684 (java) R 25662 25664 22059 0 -1 4202560 2149 0 0 0 71572 48 0 0 20 0 22 0 254529132 10060460032 803702 33554432000 1073741824 1073778376 140734504056096 140577742315376 140577854423193 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25685] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25685/stat : 25685 (java) S 25662 25664 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254529135 10060460032 803702 33554432000 1073741824 1073778376 140734504056096 140577741264296 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25686] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25686/stat : 25686 (java) S 25662 25664 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254529135 10060460032 803702 33554432000 1073741824 1073778376 140734504056096 140577740211496 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1495.15
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 3.90 3.96 3.90 5/220 25758
/proc/meminfo: memFree=22682376/32873844 swapFree=7100/7100
[pid=25664] ppid=25662 vsize=9824668 CPUtime=1611.97 cores=0,2,4,6
/proc/25664/stat : 25664 (java) S 25662 25664 22059 0 -1 4202496 36195 0 1 0 161035 162 0 0 20 0 22 0 254529055 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140734504047232 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25664/statm: 2456167 807903 2285 9 0 2446860 0
[pid=25664/tid=25666] ppid=25662 vsize=9824668 CPUtime=0.74 cores=0,2,4,6
/proc/25664/task/25666/stat : 25666 (java) S 25662 25664 22059 0 -1 4202560 2551 0 1 0 70 4 0 0 20 0 22 0 254529056 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577994900472 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25667] ppid=25662 vsize=9824668 CPUtime=2.36 cores=0,2,4,6
/proc/25664/task/25667/stat : 25667 (java) S 25662 25664 22059 0 -1 4202560 464 0 0 0 226 10 0 0 20 0 22 0 254529058 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577973001256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25668] ppid=25662 vsize=9824668 CPUtime=2.65 cores=0,2,4,6
/proc/25664/task/25668/stat : 25668 (java) S 25662 25664 22059 0 -1 4202560 800 0 0 0 254 11 0 0 20 0 22 0 254529058 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577971948456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25669] ppid=25662 vsize=9824668 CPUtime=2.7 cores=0,2,4,6
/proc/25664/task/25669/stat : 25669 (java) S 25662 25664 22059 0 -1 4202560 644 0 0 0 258 12 0 0 20 0 22 0 254529058 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577769253672 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25670] ppid=25662 vsize=9824668 CPUtime=2.54 cores=0,2,4,6
/proc/25664/task/25670/stat : 25670 (java) S 25662 25664 22059 0 -1 4202560 481 0 0 0 242 12 0 0 20 0 22 0 254529058 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577768200872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25671] ppid=25662 vsize=9824668 CPUtime=2.28 cores=0,2,4,6
/proc/25664/task/25671/stat : 25671 (java) S 25662 25664 22059 0 -1 4202560 374 0 0 0 217 11 0 0 20 0 22 0 254529058 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577767148072 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25672] ppid=25662 vsize=9824668 CPUtime=2.4 cores=0,2,4,6
/proc/25664/task/25672/stat : 25672 (java) S 25662 25664 22059 0 -1 4202560 448 0 0 0 231 9 0 0 20 0 22 0 254529058 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577766095272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25673] ppid=25662 vsize=9824668 CPUtime=2.66 cores=0,2,4,6
/proc/25664/task/25673/stat : 25673 (java) S 25662 25664 22059 0 -1 4202560 650 0 0 0 256 10 0 0 20 0 22 0 254529058 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577765042472 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25674] ppid=25662 vsize=9824668 CPUtime=2.21 cores=0,2,4,6
/proc/25664/task/25674/stat : 25674 (java) S 25662 25664 22059 0 -1 4202560 653 0 0 0 212 9 0 0 20 0 22 0 254529058 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577763989672 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25675] ppid=25662 vsize=9824668 CPUtime=44.12 cores=0,2,4,6
/proc/25664/task/25675/stat : 25675 (java) S 25662 25664 22059 0 -1 4202560 3205 0 0 0 4394 18 0 0 20 0 22 0 254529059 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577751792616 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25676] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25676/stat : 25676 (java) S 25662 25664 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254529059 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577750738680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25677] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25677/stat : 25677 (java) S 25662 25664 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254529059 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577749685768 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25678] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25678/stat : 25678 (java) S 25662 25664 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254529062 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577748634256 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25679] ppid=25662 vsize=9824668 CPUtime=1.57 cores=0,2,4,6
/proc/25664/task/25679/stat : 25679 (java) S 25662 25664 22059 0 -1 4202560 14447 0 0 0 155 2 0 0 20 0 22 0 254529062 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577747581368 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25680] ppid=25662 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/25664/task/25680/stat : 25680 (java) S 25662 25664 22059 0 -1 4202560 7999 0 0 0 153 2 0 0 20 0 22 0 254529062 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577746528568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25681] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25681/stat : 25681 (java) S 25662 25664 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254529062 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577745475960 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25682] ppid=25662 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/25664/task/25682/stat : 25682 (java) S 25662 25664 22059 0 -1 4202560 47 0 0 0 16 16 0 0 20 0 22 0 254529062 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577744423368 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25683] ppid=25662 vsize=9824668 CPUtime=772.12 cores=0,2,4,6
/proc/25664/task/25683/stat : 25683 (java) R 25662 25664 22059 0 -1 4202560 92 0 0 0 77199 13 0 0 20 0 22 0 254529132 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577743369184 140577853759039 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25684] ppid=25662 vsize=9824668 CPUtime=771.92 cores=0,2,4,6
/proc/25664/task/25684/stat : 25684 (java) R 25662 25664 22059 0 -1 4202560 2153 0 0 0 77142 50 0 0 20 0 22 0 254529132 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577742314480 140577854523076 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25685] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25685/stat : 25685 (java) S 25662 25664 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254529135 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577741264296 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25686] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25686/stat : 25686 (java) S 25662 25664 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254529135 10060460032 807903 33554432000 1073741824 1073778376 140734504056096 140577740211496 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1611.97
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.96 3.97 3.91 4/219 25758
/proc/meminfo: memFree=22525256/32873844 swapFree=7100/7100
[pid=25664] ppid=25662 vsize=9824668 CPUtime=1729.72 cores=0,2,4,6
/proc/25664/stat : 25664 (java) S 25662 25664 22059 0 -1 4202496 36522 0 1 0 172804 168 0 0 20 0 22 0 254529055 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140734504047232 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25664/statm: 2456167 830125 2286 9 0 2446860 0
[pid=25664/tid=25666] ppid=25662 vsize=9824668 CPUtime=0.75 cores=0,2,4,6
/proc/25664/task/25666/stat : 25666 (java) S 25662 25664 22059 0 -1 4202560 2552 0 1 0 71 4 0 0 20 0 22 0 254529056 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577994900184 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25667] ppid=25662 vsize=9824668 CPUtime=2.52 cores=0,2,4,6
/proc/25664/task/25667/stat : 25667 (java) S 25662 25664 22059 0 -1 4202560 481 0 0 0 242 10 0 0 20 0 22 0 254529058 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577973001256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25668] ppid=25662 vsize=9824668 CPUtime=2.81 cores=0,2,4,6
/proc/25664/task/25668/stat : 25668 (java) S 25662 25664 22059 0 -1 4202560 849 0 0 0 270 11 0 0 20 0 22 0 254529058 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577971948456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25669] ppid=25662 vsize=9824668 CPUtime=2.87 cores=0,2,4,6
/proc/25664/task/25669/stat : 25669 (java) S 25662 25664 22059 0 -1 4202560 693 0 0 0 275 12 0 0 20 0 22 0 254529058 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577769253672 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25670] ppid=25662 vsize=9824668 CPUtime=2.67 cores=0,2,4,6
/proc/25664/task/25670/stat : 25670 (java) S 25662 25664 22059 0 -1 4202560 505 0 0 0 255 12 0 0 20 0 22 0 254529058 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577768200872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25671] ppid=25662 vsize=9824668 CPUtime=2.46 cores=0,2,4,6
/proc/25664/task/25671/stat : 25671 (java) S 25662 25664 22059 0 -1 4202560 400 0 0 0 235 11 0 0 20 0 22 0 254529058 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577767148072 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25672] ppid=25662 vsize=9824668 CPUtime=2.55 cores=0,2,4,6
/proc/25664/task/25672/stat : 25672 (java) S 25662 25664 22059 0 -1 4202560 477 0 0 0 245 10 0 0 20 0 22 0 254529058 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577766095272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25673] ppid=25662 vsize=9824668 CPUtime=2.83 cores=0,2,4,6
/proc/25664/task/25673/stat : 25673 (java) S 25662 25664 22059 0 -1 4202560 674 0 0 0 272 11 0 0 20 0 22 0 254529058 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577765042472 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25674] ppid=25662 vsize=9824668 CPUtime=2.42 cores=0,2,4,6
/proc/25664/task/25674/stat : 25674 (java) S 25662 25664 22059 0 -1 4202560 671 0 0 0 233 9 0 0 20 0 22 0 254529058 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577763989672 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25675] ppid=25662 vsize=9824668 CPUtime=47.02 cores=0,2,4,6
/proc/25664/task/25675/stat : 25675 (java) R 25662 25664 22059 0 -1 4202560 3284 0 0 0 4683 19 0 0 20 0 22 0 254529059 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577751791464 140578001408032 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25676] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25676/stat : 25676 (java) S 25662 25664 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254529059 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577750738680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25677] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25677/stat : 25677 (java) S 25662 25664 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254529059 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577749685768 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25678] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25678/stat : 25678 (java) S 25662 25664 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254529062 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577748634256 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25679] ppid=25662 vsize=9824668 CPUtime=1.57 cores=0,2,4,6
/proc/25664/task/25679/stat : 25679 (java) S 25662 25664 22059 0 -1 4202560 14447 0 0 0 155 2 0 0 20 0 22 0 254529062 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577747581368 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25680] ppid=25662 vsize=9824668 CPUtime=1.57 cores=0,2,4,6
/proc/25664/task/25680/stat : 25680 (java) S 25662 25664 22059 0 -1 4202560 8002 0 0 0 155 2 0 0 20 0 22 0 254529062 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577746528568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25681] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25681/stat : 25681 (java) S 25662 25664 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254529062 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577745475960 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25682] ppid=25662 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/25664/task/25682/stat : 25682 (java) S 25662 25664 22059 0 -1 4202560 51 0 0 0 18 16 0 0 20 0 22 0 254529062 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577744423368 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25683] ppid=25662 vsize=9824668 CPUtime=828.86 cores=0,2,4,6
/proc/25664/task/25683/stat : 25683 (java) S 25662 25664 22059 0 -1 4202560 94 0 0 0 82872 14 0 0 20 0 22 0 254529132 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577743369304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25684] ppid=25662 vsize=9824668 CPUtime=828.66 cores=0,2,4,6
/proc/25664/task/25684/stat : 25684 (java) S 25662 25664 22059 0 -1 4202560 2155 0 0 0 82815 51 0 0 20 0 22 0 254529132 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577742314312 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25685] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25685/stat : 25685 (java) S 25662 25664 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254529135 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577741264296 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25686] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25686/stat : 25686 (java) S 25662 25664 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254529135 10060460032 830125 33554432000 1073741824 1073778376 140734504056096 140577740211496 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1729.72
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+918.401 s]
/proc/loadavg: 3.98 3.97 3.91 5/219 25759
/proc/meminfo: memFree=22356452/32873844 swapFree=7100/7100
[pid=25664] ppid=25662 vsize=9824668 CPUtime=1800.06 cores=0,2,4,6
/proc/25664/stat : 25664 (java) S 25662 25664 22059 0 -1 4202496 36716 0 1 0 179829 177 0 0 20 0 22 0 254529055 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140734504047232 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25664/statm: 2456167 872133 2286 9 0 2446860 0
[pid=25664/tid=25666] ppid=25662 vsize=9824668 CPUtime=0.75 cores=0,2,4,6
/proc/25664/task/25666/stat : 25666 (java) S 25662 25664 22059 0 -1 4202560 2552 0 1 0 71 4 0 0 20 0 22 0 254529056 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577994900472 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25667] ppid=25662 vsize=9824668 CPUtime=2.56 cores=0,2,4,6
/proc/25664/task/25667/stat : 25667 (java) S 25662 25664 22059 0 -1 4202560 492 0 0 0 246 10 0 0 20 0 22 0 254529058 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577973001256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25668] ppid=25662 vsize=9824668 CPUtime=2.87 cores=0,2,4,6
/proc/25664/task/25668/stat : 25668 (java) S 25662 25664 22059 0 -1 4202560 861 0 0 0 275 12 0 0 20 0 22 0 254529058 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577971948456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25669] ppid=25662 vsize=9824668 CPUtime=2.96 cores=0,2,4,6
/proc/25664/task/25669/stat : 25669 (java) S 25662 25664 22059 0 -1 4202560 706 0 0 0 283 13 0 0 20 0 22 0 254529058 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577769253672 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25670] ppid=25662 vsize=9824668 CPUtime=2.76 cores=0,2,4,6
/proc/25664/task/25670/stat : 25670 (java) S 25662 25664 22059 0 -1 4202560 525 0 0 0 263 13 0 0 20 0 22 0 254529058 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577768200872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25671] ppid=25662 vsize=9824668 CPUtime=2.52 cores=0,2,4,6
/proc/25664/task/25671/stat : 25671 (java) S 25662 25664 22059 0 -1 4202560 408 0 0 0 240 12 0 0 20 0 22 0 254529058 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577767148072 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25672] ppid=25662 vsize=9824668 CPUtime=2.65 cores=0,2,4,6
/proc/25664/task/25672/stat : 25672 (java) S 25662 25664 22059 0 -1 4202560 486 0 0 0 255 10 0 0 20 0 22 0 254529058 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577766095272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25673] ppid=25662 vsize=9824668 CPUtime=2.88 cores=0,2,4,6
/proc/25664/task/25673/stat : 25673 (java) S 25662 25664 22059 0 -1 4202560 685 0 0 0 276 12 0 0 20 0 22 0 254529058 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577765042472 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25674] ppid=25662 vsize=9824668 CPUtime=2.59 cores=0,2,4,6
/proc/25664/task/25674/stat : 25674 (java) S 25662 25664 22059 0 -1 4202560 696 0 0 0 248 11 0 0 20 0 22 0 254529058 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577763989672 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25675] ppid=25662 vsize=9824668 CPUtime=49.21 cores=0,2,4,6
/proc/25664/task/25675/stat : 25675 (java) S 25662 25664 22059 0 -1 4202560 3365 0 0 0 4901 20 0 0 20 0 22 0 254529059 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577751792616 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25676] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25676/stat : 25676 (java) S 25662 25664 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254529059 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577750738680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25677] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25677/stat : 25677 (java) S 25662 25664 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254529059 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577749685768 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25678] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25678/stat : 25678 (java) S 25662 25664 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254529062 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577748634256 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25679] ppid=25662 vsize=9824668 CPUtime=1.57 cores=0,2,4,6
/proc/25664/task/25679/stat : 25679 (java) S 25662 25664 22059 0 -1 4202560 14447 0 0 0 155 2 0 0 20 0 22 0 254529062 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577747581368 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25680] ppid=25662 vsize=9824668 CPUtime=1.57 cores=0,2,4,6
/proc/25664/task/25680/stat : 25680 (java) S 25662 25664 22059 0 -1 4202560 8002 0 0 0 155 2 0 0 20 0 22 0 254529062 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577746528568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25681] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25681/stat : 25681 (java) S 25662 25664 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254529062 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577745475960 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25664/tid=25682] ppid=25662 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/25664/task/25682/stat : 25682 (java) S 25662 25664 22059 0 -1 4202560 53 0 0 0 18 17 0 0 20 0 22 0 254529062 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577744423368 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25683] ppid=25662 vsize=9824668 CPUtime=862.6 cores=0,2,4,6
/proc/25664/task/25683/stat : 25683 (java) R 25662 25664 22059 0 -1 4202560 96 0 0 0 86245 15 0 0 20 0 22 0 254529132 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577743369184 140577853759432 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25664/tid=25684] ppid=25662 vsize=9824668 CPUtime=862.41 cores=0,2,4,6
/proc/25664/task/25684/stat : 25684 (java) R 25662 25664 22059 0 -1 4202560 2155 0 0 0 86189 52 0 0 20 0 22 0 254529132 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577742314192 140577853961671 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25664/tid=25685] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25685/stat : 25685 (java) S 25662 25664 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254529135 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577741264296 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25664/tid=25686] ppid=25662 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25664/task/25686/stat : 25686 (java) S 25662 25664 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254529135 10060460032 872133 33554432000 1073741824 1073778376 140734504056096 140577740211496 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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
Child status: 143
Real time (s): 918.482
CPU time (s): 1800.7
CPU user time (s): 1798.48
CPU system time (s): 2.22566
CPU usage (%): 196.052
Max. virtual memory (cumulated for all children) (KiB): 9826268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.48
system time used= 2.22566
maximum resident set size= 3488656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36749
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25419
involuntary context switches= 37984
runsolver used 3.24051 second user time and 8.19375 second system time
The end