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-4109573-1467321372/watcher-4109573-1467321372 -o /tmp/evaluation-result-4109573-1467321372/solver-4109573-1467321372 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467318784-20067 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109573-1467321372.wbo
pid=29881
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: 1.21 1.21 1.25 3/169 29884
/proc/meminfo: memFree=28367144/32872528 swapFree=1590004/1720820
[pid=29884] ppid=29881 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/29884/stat : 29884 (java) R 29881 29884 13693 0 -1 4202496 533 0 0 0 0 0 0 0 20 0 1 0 13095767 9515008 186 33554432000 1073741824 1073778376 140736204076048 140736204065112 226075176231 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29884/statm: 5149 187 143 9 0 71 0
[startup+0.100156 s]
/proc/loadavg: 1.21 1.21 1.25 3/169 29884
/proc/meminfo: memFree=28367144/32872528 swapFree=1590004/1720820
[pid=29884] ppid=29881 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/29884/stat : 29884 (java) S 29881 29884 13693 0 -1 4202496 4416 0 1 0 8 1 0 0 20 0 18 0 13095767 9787879424 6046 33554432000 1073741824 1073778376 140736204076048 140736204067184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29884/statm: 2389619 6046 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200764 s]
/proc/loadavg: 1.21 1.21 1.25 3/169 29884
/proc/meminfo: memFree=28367144/32872528 swapFree=1590004/1720820
[pid=29884] ppid=29881 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/29884/stat : 29884 (java) S 29881 29884 13693 0 -1 4202496 4755 0 1 0 22 1 0 0 20 0 22 0 13095767 10060525568 7881 33554432000 1073741824 1073778376 140736204076048 140736204067184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29884/statm: 2456183 7881 2208 9 0 2446860 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9824732
[startup+0.300232 s]
/proc/loadavg: 1.21 1.21 1.25 3/169 29884
/proc/meminfo: memFree=28367144/32872528 swapFree=1590004/1720820
[pid=29884] ppid=29881 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/29884/stat : 29884 (java) S 29881 29884 13693 0 -1 4202496 6956 0 1 0 52 1 0 0 20 0 22 0 13095767 10060525568 9698 33554432000 1073741824 1073778376 140736204076048 140736204067184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29884/statm: 2456183 9698 2235 9 0 2446860 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9824732
[startup+0.70023 s]
/proc/loadavg: 1.21 1.21 1.25 3/169 29884
/proc/meminfo: memFree=28367144/32872528 swapFree=1590004/1720820
[pid=29884] ppid=29881 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/29884/stat : 29884 (java) S 29881 29884 13693 0 -1 4202496 15116 0 1 0 135 5 0 0 20 0 19 0 13095767 10060525568 16004 33554432000 1073741824 1073778376 140736204076048 140736204067184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29884/statm: 2456183 16004 2253 9 0 2446860 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 9824732
[startup+1.5008 s]
/proc/loadavg: 1.21 1.21 1.25 2/188 29909
/proc/meminfo: memFree=28310752/32872528 swapFree=1590004/1720820
[pid=29884] ppid=29881 vsize=9824732 CPUtime=1.41 cores=1,3,5,7
/proc/29884/stat : 29884 (java) S 29881 29884 13693 0 -1 4202496 15127 0 1 0 136 5 0 0 20 0 19 0 13095767 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140736204067184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29884/statm: 2456183 17030 2254 9 0 2446860 0
[pid=29884/tid=29886] ppid=29881 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/29884/task/29886/stat : 29886 (java) S 29881 29884 13693 0 -1 4202560 2413 0 1 0 14 2 0 0 20 0 19 0 13095768 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140595247272824 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29887] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29887/stat : 29887 (java) S 29881 29884 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140595219724840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29888] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29888/stat : 29888 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140595218672040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=29889] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29889/stat : 29889 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140595089156392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29890] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29890/stat : 29890 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140595088103592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29891] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29891/stat : 29891 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140595087051816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29892] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29892/stat : 29892 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140595085999016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29893] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29893/stat : 29893 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140595084946216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29894] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29894/stat : 29894 (java) S 29881 29884 13693 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140594613578408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29895] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29895/stat : 29895 (java) S 29881 29884 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13095770 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140594601380328 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29896] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29896/stat : 29896 (java) S 29881 29884 13693 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13095770 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140594600326392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29897] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29897/stat : 29897 (java) S 29881 29884 13693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13095770 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140594599273480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29898] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29898/stat : 29898 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095773 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140594598221968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29899] ppid=29881 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/29884/task/29899/stat : 29899 (java) S 29881 29884 13693 0 -1 4202560 5726 0 0 0 35 0 0 0 20 0 19 0 13095773 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140594597170104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29900] ppid=29881 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/29884/task/29900/stat : 29900 (java) S 29881 29884 13693 0 -1 4202560 5636 0 0 0 37 0 0 0 20 0 19 0 13095773 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140594596117304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29901] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29901/stat : 29901 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095773 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140594595064696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=29902] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29902/stat : 29902 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095773 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140594594012104 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29906] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29906/stat : 29906 (java) S 29881 29884 13693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13095786 10060525568 17030 33554432000 1073741824 1073778376 140736204076048 140594589700904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 9824732
[startup+3.10081 s]
/proc/loadavg: 1.21 1.21 1.25 5/191 29918
/proc/meminfo: memFree=28296168/32872528 swapFree=1590004/1720820
[pid=29884] ppid=29881 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/29884/stat : 29884 (java) S 29881 29884 13693 0 -1 4202496 15170 0 1 0 147 8 0 0 20 0 19 0 13095767 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140736204067184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29884/statm: 2456183 21140 2254 9 0 2446860 0
[pid=29884/tid=29886] ppid=29881 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/29884/task/29886/stat : 29886 (java) S 29881 29884 13693 0 -1 4202560 2414 0 1 0 14 2 0 0 20 0 19 0 13095768 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140595247272824 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29887] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29887/stat : 29887 (java) S 29881 29884 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140595219724840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29888] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29888/stat : 29888 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140595218672040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=29889] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29889/stat : 29889 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140595089156392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29890] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29890/stat : 29890 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140595088103592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29891] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29891/stat : 29891 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140595087051816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29892] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29892/stat : 29892 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140595085999016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29893] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29893/stat : 29893 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140595084946216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29894] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29894/stat : 29894 (java) S 29881 29884 13693 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140594613578408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29895] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29895/stat : 29895 (java) S 29881 29884 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13095770 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140594601380328 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29896] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29896/stat : 29896 (java) S 29881 29884 13693 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13095770 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140594600326392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29897] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29897/stat : 29897 (java) S 29881 29884 13693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13095770 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140594599273480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29898] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29898/stat : 29898 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095773 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140594598221968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29899] ppid=29881 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/29884/task/29899/stat : 29899 (java) S 29881 29884 13693 0 -1 4202560 5740 0 0 0 40 0 0 0 20 0 19 0 13095773 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140594597170104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29900] ppid=29881 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/29884/task/29900/stat : 29900 (java) S 29881 29884 13693 0 -1 4202560 5636 0 0 0 40 0 0 0 20 0 19 0 13095773 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140594596117304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29901] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29901/stat : 29901 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095773 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140594595064696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=29902] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29902/stat : 29902 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095773 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140594594012104 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29906] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29906/stat : 29906 (java) S 29881 29884 13693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13095786 10060525568 21140 33554432000 1073741824 1073778376 140736204076048 140594589700904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=28 pid=1797 uid=0 cmd=
[startup+6.30082 s]
/proc/loadavg: 1.11 1.19 1.25 1/188 29936
/proc/meminfo: memFree=28267372/32872528 swapFree=1590004/1720820
[pid=29884] ppid=29881 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/29884/stat : 29884 (java) S 29881 29884 13693 0 -1 4202496 15289 0 1 0 157 9 0 0 20 0 19 0 13095767 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140736204067184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29884/statm: 2456183 29257 2259 9 0 2446860 0
[pid=29884/tid=29886] ppid=29881 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/29884/task/29886/stat : 29886 (java) S 29881 29884 13693 0 -1 4202560 2416 0 1 0 15 2 0 0 20 0 19 0 13095768 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140595247272824 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29887] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29887/stat : 29887 (java) S 29881 29884 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140595219724840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29888] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29888/stat : 29888 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140595218672040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=29889] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29889/stat : 29889 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140595089156392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29890] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29890/stat : 29890 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140595088103592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29891] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29891/stat : 29891 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140595087051816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29892] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29892/stat : 29892 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140595085999016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29893] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29893/stat : 29893 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140595084946216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29894] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29894/stat : 29894 (java) S 29881 29884 13693 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13095769 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140594613578408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29895] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29895/stat : 29895 (java) S 29881 29884 13693 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 13095770 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140594601380328 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29896] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29896/stat : 29896 (java) S 29881 29884 13693 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13095770 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140594600326392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29897] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29897/stat : 29897 (java) S 29881 29884 13693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13095770 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140594599273480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29898] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29898/stat : 29898 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095773 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140594598221968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29899] ppid=29881 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/29884/task/29899/stat : 29899 (java) S 29881 29884 13693 0 -1 4202560 5749 0 0 0 47 0 0 0 20 0 19 0 13095773 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140594597170104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29900] ppid=29881 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/29884/task/29900/stat : 29900 (java) S 29881 29884 13693 0 -1 4202560 5646 0 0 0 41 0 0 0 20 0 19 0 13095773 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140594596117304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29901] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29901/stat : 29901 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13095773 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140594595064696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=29902] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29902/stat : 29902 (java) S 29881 29884 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13095773 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140594594012104 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29906] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29906/stat : 29906 (java) S 29881 29884 13693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13095786 10060525568 29257 33554432000 1073741824 1073778376 140736204076048 140594589700904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.66
################
# More data... #
################
/proc/29884/task/29906/stat : 29906 (java) S 29881 29884 13693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13095786 10060525568 53654 33554432000 1073741824 1073778376 140736204076048 140594589700904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=30029] ppid=29881 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/29884/task/30029/stat : 30029 (java) R 29881 29884 13693 0 -1 4202560 4 0 0 0 65 0 0 0 20 0 22 0 13097940 10060525568 53654 33554432000 1073741824 1073778376 140736204076048 140594591797520 140595100637166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=30030] ppid=29881 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/29884/task/30030/stat : 30030 (java) R 29881 29884 13693 0 -1 4202560 3 0 0 0 64 0 0 0 20 0 22 0 13097940 10060525568 53654 33554432000 1073741824 1073778376 140736204076048 140594590750896 140595100726201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=30031] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/30031/stat : 30031 (java) S 29881 29884 13693 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13097940 10060525568 53654 33554432000 1073741824 1073778376 140736204076048 140594592859304 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (KiB) 9824732
[startup+23.2078 s]
/proc/loadavg: 0.86 1.13 1.22 3/191 30034
/proc/meminfo: memFree=28158544/32872528 swapFree=1590004/1720820
[pid=29884] ppid=29881 vsize=9824732 CPUtime=11.54 cores=1,3,5,7
/proc/29884/stat : 29884 (java) S 29881 29884 13693 0 -1 4202496 15815 0 1 0 1092 62 0 0 20 0 22 0 13095767 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140736204067184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29884/statm: 2456183 53901 2287 9 0 2446860 0
[pid=29884/tid=29886] ppid=29881 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/29884/task/29886/stat : 29886 (java) S 29881 29884 13693 0 -1 4202560 2416 0 1 0 17 2 0 0 20 0 22 0 13095768 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140595247272824 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29887] ppid=29881 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29884/task/29887/stat : 29887 (java) S 29881 29884 13693 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 22 0 13095769 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140595219724840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=29888] ppid=29881 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29884/task/29888/stat : 29888 (java) S 29881 29884 13693 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 13095769 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140595218672040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29889] ppid=29881 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29884/task/29889/stat : 29889 (java) S 29881 29884 13693 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 13095769 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140595089156392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29890] ppid=29881 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29884/task/29890/stat : 29890 (java) S 29881 29884 13693 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 13095769 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140595088103592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29891] ppid=29881 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29884/task/29891/stat : 29891 (java) S 29881 29884 13693 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 13095769 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140595087051816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29892] ppid=29881 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29884/task/29892/stat : 29892 (java) S 29881 29884 13693 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 13095769 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140595085999016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29893] ppid=29881 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/29884/task/29893/stat : 29893 (java) S 29881 29884 13693 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 13095769 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140595084946216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=29894] ppid=29881 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29884/task/29894/stat : 29894 (java) S 29881 29884 13693 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 13095769 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594613578408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29895] ppid=29881 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/29884/task/29895/stat : 29895 (java) S 29881 29884 13693 0 -1 4202560 22 0 0 0 0 5 0 0 20 0 22 0 13095770 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594601380328 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29896] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29896/stat : 29896 (java) S 29881 29884 13693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13095770 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594600326392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29897] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29897/stat : 29897 (java) S 29881 29884 13693 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 22 0 13095770 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594599273480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29898] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29898/stat : 29898 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13095773 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594598221968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29899] ppid=29881 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/29884/task/29899/stat : 29899 (java) R 29881 29884 13693 0 -1 4202560 5771 0 0 0 76 0 0 0 20 0 22 0 13095773 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594597170104 226087723445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29900] ppid=29881 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/29884/task/29900/stat : 29900 (java) S 29881 29884 13693 0 -1 4202560 5673 0 0 0 84 0 0 0 20 0 22 0 13095773 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594596117304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29901] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29901/stat : 29901 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13095773 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594595064696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=29902] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29902/stat : 29902 (java) S 29881 29884 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13095773 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594594012104 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29906] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29906/stat : 29906 (java) S 29881 29884 13693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13095786 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594589700904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=30032] ppid=29881 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/29884/task/30032/stat : 30032 (java) R 29881 29884 13693 0 -1 4202560 4 0 0 0 45 0 0 0 20 0 22 0 13098040 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594590751512 140595100718276 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=30033] ppid=29881 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/29884/task/30033/stat : 30033 (java) R 29881 29884 13693 0 -1 4202560 2 0 0 0 45 0 0 0 20 0 22 0 13098040 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594592856600 140595100726201 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=30034] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/30034/stat : 30034 (java) S 29881 29884 13693 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13098040 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594591806248 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 11.54
Current children cumulated vsize (KiB) 9824732
[startup+24.0008 s]
/proc/loadavg: 0.86 1.13 1.22 3/191 30034
/proc/meminfo: memFree=28158544/32872528 swapFree=1590004/1720820
[pid=29884] ppid=29881 vsize=9824732 CPUtime=13.13 cores=1,3,5,7
/proc/29884/stat : 29884 (java) S 29881 29884 13693 0 -1 4202496 15815 0 1 0 1251 62 0 0 20 0 22 0 13095767 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140736204067184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29884/statm: 2456183 53901 2287 9 0 2446860 0
[pid=29884/tid=29886] ppid=29881 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/29884/task/29886/stat : 29886 (java) S 29881 29884 13693 0 -1 4202560 2416 0 1 0 17 2 0 0 20 0 22 0 13095768 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140595247272824 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29887] ppid=29881 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29884/task/29887/stat : 29887 (java) S 29881 29884 13693 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 22 0 13095769 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140595219724840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=29888] ppid=29881 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29884/task/29888/stat : 29888 (java) S 29881 29884 13693 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 13095769 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140595218672040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29889] ppid=29881 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29884/task/29889/stat : 29889 (java) S 29881 29884 13693 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 13095769 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140595089156392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29890] ppid=29881 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29884/task/29890/stat : 29890 (java) S 29881 29884 13693 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 13095769 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140595088103592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29891] ppid=29881 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29884/task/29891/stat : 29891 (java) S 29881 29884 13693 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 13095769 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140595087051816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29892] ppid=29881 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29884/task/29892/stat : 29892 (java) S 29881 29884 13693 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 13095769 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140595085999016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29893] ppid=29881 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/29884/task/29893/stat : 29893 (java) S 29881 29884 13693 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 13095769 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140595084946216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=29894] ppid=29881 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29884/task/29894/stat : 29894 (java) S 29881 29884 13693 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 13095769 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594613578408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29895] ppid=29881 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/29884/task/29895/stat : 29895 (java) S 29881 29884 13693 0 -1 4202560 22 0 0 0 0 5 0 0 20 0 22 0 13095770 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594601380328 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29896] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29896/stat : 29896 (java) S 29881 29884 13693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13095770 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594600326392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29897] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29897/stat : 29897 (java) S 29881 29884 13693 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 22 0 13095770 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594599273480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29898] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29898/stat : 29898 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13095773 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594598221968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29899] ppid=29881 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/29884/task/29899/stat : 29899 (java) S 29881 29884 13693 0 -1 4202560 5771 0 0 0 76 0 0 0 20 0 22 0 13095773 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594597170104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29900] ppid=29881 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/29884/task/29900/stat : 29900 (java) S 29881 29884 13693 0 -1 4202560 5673 0 0 0 84 0 0 0 20 0 22 0 13095773 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594596117304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29901] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29901/stat : 29901 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13095773 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594595064696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=29902] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29902/stat : 29902 (java) S 29881 29884 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13095773 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594594012104 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29906] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29906/stat : 29906 (java) S 29881 29884 13693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13095786 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594589700904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=30032] ppid=29881 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/29884/task/30032/stat : 30032 (java) R 29881 29884 13693 0 -1 4202560 4 0 0 0 124 0 0 0 20 0 22 0 13098040 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594590744464 140595100559492 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=30033] ppid=29881 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/29884/task/30033/stat : 30033 (java) R 29881 29884 13693 0 -1 4202560 2 0 0 0 124 0 0 0 20 0 22 0 13098040 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594592856600 140595100726140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=30034] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/30034/stat : 30034 (java) S 29881 29884 13693 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13098040 10060525568 53901 33554432000 1073741824 1073778376 140736204076048 140594591806248 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 13.13
Current children cumulated vsize (KiB) 9824732
[startup+24.4007 s]
/proc/loadavg: 0.95 1.15 1.23 2/189 30034
/proc/meminfo: memFree=28157736/32872528 swapFree=1590004/1720820
[pid=29884] ppid=29881 vsize=9824732 CPUtime=13.7 cores=1,3,5,7
/proc/29884/stat : 29884 (java) S 29881 29884 13693 0 -1 4202496 15816 0 1 0 1308 62 0 0 20 0 20 0 13095767 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140736204067184 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29884/statm: 2456183 53896 2287 9 0 2446860 0
[pid=29884/tid=29886] ppid=29881 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/29884/task/29886/stat : 29886 (java) S 29881 29884 13693 0 -1 4202560 2416 0 1 0 17 2 0 0 20 0 20 0 13095768 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140595247272824 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29887] ppid=29881 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29884/task/29887/stat : 29887 (java) S 29881 29884 13693 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 20 0 13095769 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140595219724840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=29888] ppid=29881 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29884/task/29888/stat : 29888 (java) S 29881 29884 13693 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 20 0 13095769 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140595218672040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29889] ppid=29881 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29884/task/29889/stat : 29889 (java) S 29881 29884 13693 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 20 0 13095769 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140595089156392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29890] ppid=29881 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29884/task/29890/stat : 29890 (java) S 29881 29884 13693 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 20 0 13095769 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140595088103592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29891] ppid=29881 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29884/task/29891/stat : 29891 (java) S 29881 29884 13693 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 20 0 13095769 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140595087051816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29892] ppid=29881 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29884/task/29892/stat : 29892 (java) S 29881 29884 13693 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 20 0 13095769 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140595085999016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29893] ppid=29881 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/29884/task/29893/stat : 29893 (java) S 29881 29884 13693 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 20 0 13095769 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140595084946216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=29894] ppid=29881 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29884/task/29894/stat : 29894 (java) S 29881 29884 13693 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 20 0 13095769 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140594613578408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29895] ppid=29881 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/29884/task/29895/stat : 29895 (java) S 29881 29884 13693 0 -1 4202560 22 0 0 0 0 5 0 0 20 0 20 0 13095770 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140594601380328 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29896] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29896/stat : 29896 (java) S 29881 29884 13693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 13095770 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140594600326392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29897] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29897/stat : 29897 (java) S 29881 29884 13693 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 20 0 13095770 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140594599273480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29898] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29898/stat : 29898 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13095773 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140594598221968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29884/tid=29899] ppid=29881 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/29884/task/29899/stat : 29899 (java) S 29881 29884 13693 0 -1 4202560 5771 0 0 0 76 0 0 0 20 0 20 0 13095773 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140594597170104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29884/tid=29900] ppid=29881 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/29884/task/29900/stat : 29900 (java) S 29881 29884 13693 0 -1 4202560 5673 0 0 0 84 0 0 0 20 0 20 0 13095773 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140594596117304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29901] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29901/stat : 29901 (java) S 29881 29884 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13095773 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140594595064696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=29902] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29902/stat : 29902 (java) S 29881 29884 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 13095773 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140594594012104 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29884/tid=29906] ppid=29881 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29884/task/29906/stat : 29906 (java) S 29881 29884 13693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 13095786 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140594589700904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29884/tid=30033] ppid=29881 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/29884/task/30033/stat : 30033 (java) R 29881 29884 13693 0 -1 4202560 2 0 0 0 164 0 0 0 20 0 20 0 13098040 10060525568 53896 33554432000 1073741824 1073778376 140736204076048 140594592856296 140595100726174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 13.7
Current children cumulated vsize (KiB) 9824732
Child status: 30
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.00999999
# lost CPU user time (s): 0.00999999
# lost CPU system time (s): 0
Real time (s): 24.4661
CPU time (s): 13.8239
CPU user time (s): 13.11
CPU system time (s): 0.713891
CPU usage (%): 56.5022
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.1
system time used= 0.713891
maximum resident set size= 218748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15829
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2426
involuntary context switches= 509
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.154976 second user time and 0.19597 second system time
The end