runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456825-1307659913/watcher-3456825-1307659913 -o /tmp/evaluation-result-3456825-1307659913/solver-3456825-1307659913 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456825-1307659913.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/171 4013
/proc/meminfo: memFree=32511916/32951124 swapFree=67060628/67111528
[pid=4013] ppid=4011 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/4013/stat : 4013 (runsolver) S 4011 4013 787 0 -1 4202560 42 0 0 0 0 0 0 0 21 0 1 0 877591739 12079104 50 33554432000 4194304 5432328 140733729602608 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699960631 0 0 17 3 0 0 0
/proc/4013/statm: 2949 50 31 303 0 2643 0
[startup+0.086879 s]
/proc/loadavg: 0.92 0.98 0.99 2/171 4013
/proc/meminfo: memFree=32511916/32951124 swapFree=67060628/67111528
[pid=4013] ppid=4011 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4011 4013 787 0 -1 4202496 11456 0 1 0 3 1 0 0 18 0 13 0 877591739 10718838784 11153 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652662245 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0
/proc/4013/statm: 2616904 11153 1685 9 0 2607652 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100831 s]
/proc/loadavg: 0.92 0.98 0.99 2/171 4013
/proc/meminfo: memFree=32511916/32951124 swapFree=67060628/67111528
[pid=4013] ppid=4011 vsize=10472756 CPUtime=0.05 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4011 4013 787 0 -1 4202496 11603 0 1 0 4 1 0 0 18 0 18 0 877591739 10724102144 11300 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/4013/statm: 2618189 11300 1721 9 0 2608937 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472756
[startup+0.300799 s]
/proc/loadavg: 0.92 0.98 0.99 2/171 4013
/proc/meminfo: memFree=32511916/32951124 swapFree=67060628/67111528
[pid=4013] ppid=4011 vsize=10548772 CPUtime=0.5 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4011 4013 787 0 -1 4202496 22087 0 1 0 48 2 0 0 18 0 19 0 877591739 10801942528 19484 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/4013/statm: 2637193 19484 2208 9 0 2627927 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10548772
[startup+0.700727 s]
/proc/loadavg: 0.92 0.98 0.99 2/171 4013
/proc/meminfo: memFree=32511916/32951124 swapFree=67060628/67111528
[pid=4013] ppid=4011 vsize=10558212 CPUtime=1.62 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4011 4013 787 0 -1 4202496 38863 0 1 0 158 4 0 0 18 0 19 0 877591739 10811609088 35654 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/4013/statm: 2639553 35654 2221 9 0 2630287 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10558212
[startup+1.50058 s]
/proc/loadavg: 0.92 0.98 0.99 3/190 4032
/proc/meminfo: memFree=32217224/32951124 swapFree=67060628/67111528
[pid=4013] ppid=4011 vsize=10558212 CPUtime=2.58 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4011 4013 787 0 -1 4202496 110170 0 1 0 246 12 0 0 18 0 19 0 877591739 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/4013/statm: 2639553 106960 2225 9 0 2630287 0
[pid=4013/tid=4015] ppid=4011 vsize=10558212 CPUtime=1.44 cores=1,3,5,7
/proc/4013/task/4015/stat : 4015 (java) R 4011 4013 787 0 -1 4202560 96916 0 1 0 134 10 0 0 18 0 19 0 877591742 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 46912505795378 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4013/tid=4016] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4016/stat : 4016 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877591744 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4017] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4017/stat : 4017 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877591744 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4018] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4018/stat : 4018 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877591744 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4019] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4019/stat : 4019 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877591744 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4020] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4020/stat : 4020 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877591744 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4021] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4021/stat : 4021 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877591744 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4022] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4022/stat : 4022 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877591744 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4023] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4023/stat : 4023 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877591744 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4024] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4024/stat : 4024 (java) S 4011 4013 787 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877591745 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 0 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
[pid=4013/tid=4025] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4025/stat : 4025 (java) S 4011 4013 787 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 877591745 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4026] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4026/stat : 4026 (java) S 4011 4013 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877591745 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4027] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4027/stat : 4027 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877591749 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652683185 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4028] ppid=4011 vsize=10558212 CPUtime=0.52 cores=1,3,5,7
/proc/4013/task/4028/stat : 4028 (java) S 4011 4013 787 0 -1 4202560 4537 0 0 0 52 0 0 0 22 0 19 0 877591749 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 3 0 0 0
[pid=4013/tid=4029] ppid=4011 vsize=10558212 CPUtime=0.59 cores=1,3,5,7
/proc/4013/task/4029/stat : 4029 (java) S 4011 4013 787 0 -1 4202560 7557 0 0 0 59 0 0 0 15 0 19 0 877591749 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 1 0 0 0
[pid=4013/tid=4030] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4030/stat : 4030 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877591749 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4031] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4031/stat : 4031 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877591749 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 4 0 16800975 18446604471125305472 0 0 -1 3 0 0 0
[pid=4013/tid=4032] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4032/stat : 4032 (java) S 4011 4013 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877591767 10811609088 106960 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 10558212
[startup+3.10134 s]
/proc/loadavg: 0.92 0.98 0.99 3/190 4032
/proc/meminfo: memFree=31771312/32951124 swapFree=67060628/67111528
[pid=4013] ppid=4011 vsize=10558212 CPUtime=4.22 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4011 4013 787 0 -1 4202496 244832 0 1 0 396 26 0 0 18 0 19 0 877591739 10811609088 241622 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/4013/statm: 2639553 241628 2227 9 0 2630287 0
[pid=4013/tid=4015] ppid=4011 vsize=10558212 CPUtime=3.04 cores=1,3,5,7
/proc/4013/task/4015/stat : 4015 (java) R 4011 4013 787 0 -1 4202560 231579 0 1 0 280 24 0 0 21 0 19 0 877591742 10811609088 241629 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 46912505628184 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4013/tid=4016] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4016/stat : 4016 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877591744 10811609088 241631 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4017] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4017/stat : 4017 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877591744 10811609088 241637 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4018] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4018/stat : 4018 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877591744 10811609088 241641 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4019] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4019/stat : 4019 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877591744 10811609088 241641 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4020] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4020/stat : 4020 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877591744 10811609088 241643 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4021] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4021/stat : 4021 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877591744 10811609088 241649 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4022] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4022/stat : 4022 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877591744 10811609088 241654 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4023] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4023/stat : 4023 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877591744 10811609088 241654 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4024] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4024/stat : 4024 (java) S 4011 4013 787 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877591745 10811609088 241655 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 0 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
[pid=4013/tid=4025] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4025/stat : 4025 (java) S 4011 4013 787 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 877591745 10811609088 241661 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4026] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4026/stat : 4026 (java) S 4011 4013 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877591745 10811609088 241667 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4027] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4027/stat : 4027 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877591749 10811609088 241667 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652683185 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4028] ppid=4011 vsize=10558212 CPUtime=0.55 cores=1,3,5,7
/proc/4013/task/4028/stat : 4028 (java) S 4011 4013 787 0 -1 4202560 4541 0 0 0 55 0 0 0 15 0 19 0 877591749 10811609088 241668 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 3 0 0 0
[pid=4013/tid=4029] ppid=4011 vsize=10558212 CPUtime=0.61 cores=1,3,5,7
/proc/4013/task/4029/stat : 4029 (java) S 4011 4013 787 0 -1 4202560 7559 0 0 0 61 0 0 0 15 0 19 0 877591749 10811609088 241674 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 1 0 0 0
[pid=4013/tid=4030] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4030/stat : 4030 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877591749 10811609088 241679 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4031] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4031/stat : 4031 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877591749 10811609088 241680 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
[pid=4013/tid=4032] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4032/stat : 4032 (java) S 4011 4013 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877591767 10811609088 241680 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 10558212
[startup+6.30075 s]
/proc/loadavg: 1.09 1.02 1.01 3/210 4059
/proc/meminfo: memFree=30139856/32951124 swapFree=67060628/67111528
[pid=4013] ppid=4011 vsize=10558212 CPUtime=7.43 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4011 4013 787 0 -1 4202496 409442 0 1 0 702 41 0 0 18 0 19 0 877591739 10811609088 406231 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/4013/statm: 2639553 406231 2228 9 0 2630287 0
[pid=4013/tid=4015] ppid=4011 vsize=10558212 CPUtime=6.24 cores=1,3,5,7
/proc/4013/task/4015/stat : 4015 (java) R 4011 4013 787 0 -1 4202560 396181 0 1 0 584 40 0 0 25 0 19 0 877591742 10811609088 406232 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 46912505872395 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4013/tid=4016] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4016/stat : 4016 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877591744 10811609088 406232 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4017] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4017/stat : 4017 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877591744 10811609088 406237 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4018] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4018/stat : 4018 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877591744 10811609088 406238 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4019] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4019/stat : 4019 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877591744 10811609088 406238 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4020] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4020/stat : 4020 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877591744 10811609088 406238 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4021] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4021/stat : 4021 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877591744 10811609088 406238 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4022] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4022/stat : 4022 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877591744 10811609088 406238 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4023] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4023/stat : 4023 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877591744 10811609088 406239 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4024] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4024/stat : 4024 (java) S 4011 4013 787 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877591745 10811609088 406239 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 0 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
[pid=4013/tid=4025] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4025/stat : 4025 (java) S 4011 4013 787 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 877591745 10811609088 406243 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4026] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4026/stat : 4026 (java) S 4011 4013 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877591745 10811609088 406245 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4027] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4027/stat : 4027 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877591749 10811609088 406245 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652683185 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4028] ppid=4011 vsize=10558212 CPUtime=0.56 cores=1,3,5,7
/proc/4013/task/4028/stat : 4028 (java) S 4011 4013 787 0 -1 4202560 4542 0 0 0 56 0 0 0 15 0 19 0 877591749 10811609088 406245 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 3 0 0 0
[pid=4013/tid=4029] ppid=4011 vsize=10558212 CPUtime=0.61 cores=1,3,5,7
/proc/4013/task/4029/stat : 4029 (java) S 4011 4013 787 0 -1 4202560 7559 0 0 0 61 0 0 0 15 0 19 0 877591749 10811609088 406245 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 1 0 0 0
[pid=4013/tid=4030] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4030/stat : 4030 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877591749 10811609088 406245 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4031] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4031/stat : 4031 (java) S 4011 4013 787 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877591749 10811609088 406246 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
[pid=4013/tid=4032] ppid=4011 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4032/stat : 4032 (java) S 4011 4013 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877591767 10811609088 406246 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 10558212
[startup+12.7006 s]
################
# More data... #
################
/proc/4013/task/4026/stat : 4026 (java) S 4011 4013 787 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877591745 10808811520 959230 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4027] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4027/stat : 4027 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877591749 10808811520 959230 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652683185 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4028] ppid=4011 vsize=10555480 CPUtime=1.23 cores=1,3,5,7
/proc/4013/task/4028/stat : 4028 (java) S 4011 4013 787 0 -1 4202560 5708 0 0 0 123 0 0 0 16 0 19 0 877591749 10808811520 959230 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 3 0 0 0
[pid=4013/tid=4029] ppid=4011 vsize=10555480 CPUtime=0.94 cores=1,3,5,7
/proc/4013/task/4029/stat : 4029 (java) S 4011 4013 787 0 -1 4202560 7608 0 0 0 94 0 0 0 15 0 19 0 877591749 10808811520 959230 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 1 0 0 0
[pid=4013/tid=4030] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4030/stat : 4030 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877591749 10808811520 959230 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4031] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4031/stat : 4031 (java) S 4011 4013 787 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 877591749 10808811520 959230 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
[pid=4013/tid=4032] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4032/stat : 4032 (java) S 4011 4013 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877591767 10808811520 959230 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1673.15
Current children cumulated vsize (KiB) 10555480
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.82 3/211 4118
/proc/meminfo: memFree=23817004/32951124 swapFree=67060628/67111528
[pid=4013] ppid=4011 vsize=10555480 CPUtime=1733.56 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4011 4013 787 0 -1 4202496 968666 0 1 0 173248 108 0 0 18 0 19 0 877591739 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/4013/statm: 2638870 960182 2258 9 0 2629604 0
[pid=4013/tid=4015] ppid=4011 vsize=10555480 CPUtime=1717.41 cores=1,3,5,7
/proc/4013/task/4015/stat : 4015 (java) R 4011 4013 787 0 -1 4202560 793284 0 1 0 171661 80 0 0 25 0 19 0 877591742 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 46912505604920 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4013/tid=4016] ppid=4011 vsize=10555480 CPUtime=1.47 cores=1,3,5,7
/proc/4013/task/4016/stat : 4016 (java) S 4011 4013 787 0 -1 4202560 18132 0 0 0 144 3 0 0 16 0 19 0 877591744 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4017] ppid=4011 vsize=10555480 CPUtime=1.52 cores=1,3,5,7
/proc/4013/task/4017/stat : 4017 (java) S 4011 4013 787 0 -1 4202560 28275 0 0 0 148 4 0 0 15 0 19 0 877591744 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 1 0 0 0
[pid=4013/tid=4018] ppid=4011 vsize=10555480 CPUtime=1.68 cores=1,3,5,7
/proc/4013/task/4018/stat : 4018 (java) S 4011 4013 787 0 -1 4202560 19213 0 0 0 167 1 0 0 16 0 19 0 877591744 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
[pid=4013/tid=4019] ppid=4011 vsize=10555480 CPUtime=1.67 cores=1,3,5,7
/proc/4013/task/4019/stat : 4019 (java) S 4011 4013 787 0 -1 4202560 11876 0 0 0 166 1 0 0 16 0 19 0 877591744 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 1 0 0 0
[pid=4013/tid=4020] ppid=4011 vsize=10555480 CPUtime=1.38 cores=1,3,5,7
/proc/4013/task/4020/stat : 4020 (java) S 4011 4013 787 0 -1 4202560 12506 0 0 0 137 1 0 0 16 0 19 0 877591744 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 3 0 0 0
[pid=4013/tid=4021] ppid=4011 vsize=10555480 CPUtime=1.48 cores=1,3,5,7
/proc/4013/task/4021/stat : 4021 (java) S 4011 4013 787 0 -1 4202560 21210 0 0 0 145 3 0 0 15 0 19 0 877591744 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 3 0 0 0
[pid=4013/tid=4022] ppid=4011 vsize=10555480 CPUtime=1.54 cores=1,3,5,7
/proc/4013/task/4022/stat : 4022 (java) S 4011 4013 787 0 -1 4202560 17496 0 0 0 152 2 0 0 15 0 19 0 877591744 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 1 0 0 0
[pid=4013/tid=4023] ppid=4011 vsize=10555480 CPUtime=1.6 cores=1,3,5,7
/proc/4013/task/4023/stat : 4023 (java) S 4011 4013 787 0 -1 4202560 22331 0 0 0 157 3 0 0 16 0 19 0 877591744 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4024] ppid=4011 vsize=10555480 CPUtime=1.51 cores=1,3,5,7
/proc/4013/task/4024/stat : 4024 (java) S 4011 4013 787 0 -1 4202560 9776 0 0 0 148 3 0 0 15 0 19 0 877591745 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 0 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
[pid=4013/tid=4025] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4025/stat : 4025 (java) S 4011 4013 787 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877591745 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4026] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4026/stat : 4026 (java) S 4011 4013 787 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877591745 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4027] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4027/stat : 4027 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877591749 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652683185 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4028] ppid=4011 vsize=10555480 CPUtime=1.23 cores=1,3,5,7
/proc/4013/task/4028/stat : 4028 (java) S 4011 4013 787 0 -1 4202560 5708 0 0 0 123 0 0 0 16 0 19 0 877591749 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 3 0 0 0
[pid=4013/tid=4029] ppid=4011 vsize=10555480 CPUtime=0.94 cores=1,3,5,7
/proc/4013/task/4029/stat : 4029 (java) S 4011 4013 787 0 -1 4202560 7608 0 0 0 94 0 0 0 15 0 19 0 877591749 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 1 0 0 0
[pid=4013/tid=4030] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4030/stat : 4030 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877591749 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4031] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4031/stat : 4031 (java) S 4011 4013 787 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 877591749 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
[pid=4013/tid=4032] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4032/stat : 4032 (java) S 4011 4013 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877591767 10808811520 960182 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1733.56
Current children cumulated vsize (KiB) 10555480
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/211 4119
/proc/meminfo: memFree=23777144/32951124 swapFree=67060628/67111528
[pid=4013] ppid=4011 vsize=10555480 CPUtime=1793.97 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4011 4013 787 0 -1 4202496 970301 0 1 0 179289 108 0 0 18 0 19 0 877591739 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/4013/statm: 2638870 961767 2258 9 0 2629604 0
[pid=4013/tid=4015] ppid=4011 vsize=10555480 CPUtime=1777.27 cores=1,3,5,7
/proc/4013/task/4015/stat : 4015 (java) R 4011 4013 787 0 -1 4202560 793292 0 1 0 177647 80 0 0 25 0 19 0 877591742 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 46912505989885 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4013/tid=4016] ppid=4011 vsize=10555480 CPUtime=1.55 cores=1,3,5,7
/proc/4013/task/4016/stat : 4016 (java) S 4011 4013 787 0 -1 4202560 18411 0 0 0 151 4 0 0 16 0 19 0 877591744 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4017] ppid=4011 vsize=10555480 CPUtime=1.57 cores=1,3,5,7
/proc/4013/task/4017/stat : 4017 (java) S 4011 4013 787 0 -1 4202560 28488 0 0 0 153 4 0 0 16 0 19 0 877591744 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 3 0 0 0
[pid=4013/tid=4018] ppid=4011 vsize=10555480 CPUtime=1.76 cores=1,3,5,7
/proc/4013/task/4018/stat : 4018 (java) S 4011 4013 787 0 -1 4202560 19391 0 0 0 175 1 0 0 16 0 19 0 877591744 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 1 0 0 0
[pid=4013/tid=4019] ppid=4011 vsize=10555480 CPUtime=1.72 cores=1,3,5,7
/proc/4013/task/4019/stat : 4019 (java) S 4011 4013 787 0 -1 4202560 12076 0 0 0 171 1 0 0 15 0 19 0 877591744 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4020] ppid=4011 vsize=10555480 CPUtime=1.46 cores=1,3,5,7
/proc/4013/task/4020/stat : 4020 (java) S 4011 4013 787 0 -1 4202560 12721 0 0 0 145 1 0 0 15 0 19 0 877591744 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 3 0 0 0
[pid=4013/tid=4021] ppid=4011 vsize=10555480 CPUtime=1.57 cores=1,3,5,7
/proc/4013/task/4021/stat : 4021 (java) S 4011 4013 787 0 -1 4202560 21387 0 0 0 154 3 0 0 15 0 19 0 877591744 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 1 0 0 0
[pid=4013/tid=4022] ppid=4011 vsize=10555480 CPUtime=1.61 cores=1,3,5,7
/proc/4013/task/4022/stat : 4022 (java) S 4011 4013 787 0 -1 4202560 17683 0 0 0 159 2 0 0 16 0 19 0 877591744 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
[pid=4013/tid=4023] ppid=4011 vsize=10555480 CPUtime=1.66 cores=1,3,5,7
/proc/4013/task/4023/stat : 4023 (java) S 4011 4013 787 0 -1 4202560 22503 0 0 0 163 3 0 0 15 0 19 0 877591744 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
[pid=4013/tid=4024] ppid=4011 vsize=10555480 CPUtime=1.51 cores=1,3,5,7
/proc/4013/task/4024/stat : 4024 (java) S 4011 4013 787 0 -1 4202560 9778 0 0 0 148 3 0 0 15 0 19 0 877591745 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 0 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
[pid=4013/tid=4025] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4025/stat : 4025 (java) S 4011 4013 787 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877591745 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4026] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4026/stat : 4026 (java) S 4011 4013 787 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877591745 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4027] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4027/stat : 4027 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877591749 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652683185 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4028] ppid=4011 vsize=10555480 CPUtime=1.23 cores=1,3,5,7
/proc/4013/task/4028/stat : 4028 (java) S 4011 4013 787 0 -1 4202560 5708 0 0 0 123 0 0 0 16 0 19 0 877591749 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 3 0 0 0
[pid=4013/tid=4029] ppid=4011 vsize=10555480 CPUtime=0.94 cores=1,3,5,7
/proc/4013/task/4029/stat : 4029 (java) S 4011 4013 787 0 -1 4202560 7608 0 0 0 94 0 0 0 15 0 19 0 877591749 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 1 0 0 0
[pid=4013/tid=4030] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4030/stat : 4030 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877591749 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4031] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4031/stat : 4031 (java) S 4011 4013 787 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877591749 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
[pid=4013/tid=4032] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4032/stat : 4032 (java) S 4011 4013 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877591767 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1793.97
Current children cumulated vsize (KiB) 10555480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788.4 s]
/proc/loadavg: 2.08 2.02 1.84 3/211 4119
/proc/meminfo: memFree=23776760/32951124 swapFree=67060628/67111528
[pid=4013] ppid=4011 vsize=10555480 CPUtime=1800.08 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4011 4013 787 0 -1 4202496 970301 0 1 0 179900 108 0 0 18 0 19 0 877591739 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/4013/statm: 2638870 961767 2258 9 0 2629604 0
[pid=4013/tid=4015] ppid=4011 vsize=10555480 CPUtime=1783.37 cores=1,3,5,7
/proc/4013/task/4015/stat : 4015 (java) R 4011 4013 787 0 -1 4202560 793292 0 1 0 178257 80 0 0 25 0 19 0 877591742 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 46912505632234 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4013/tid=4016] ppid=4011 vsize=10555480 CPUtime=1.55 cores=1,3,5,7
/proc/4013/task/4016/stat : 4016 (java) S 4011 4013 787 0 -1 4202560 18411 0 0 0 151 4 0 0 16 0 19 0 877591744 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4017] ppid=4011 vsize=10555480 CPUtime=1.57 cores=1,3,5,7
/proc/4013/task/4017/stat : 4017 (java) S 4011 4013 787 0 -1 4202560 28488 0 0 0 153 4 0 0 16 0 19 0 877591744 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 3 0 0 0
[pid=4013/tid=4018] ppid=4011 vsize=10555480 CPUtime=1.76 cores=1,3,5,7
/proc/4013/task/4018/stat : 4018 (java) S 4011 4013 787 0 -1 4202560 19391 0 0 0 175 1 0 0 16 0 19 0 877591744 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 1 0 0 0
[pid=4013/tid=4019] ppid=4011 vsize=10555480 CPUtime=1.72 cores=1,3,5,7
/proc/4013/task/4019/stat : 4019 (java) S 4011 4013 787 0 -1 4202560 12076 0 0 0 171 1 0 0 15 0 19 0 877591744 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4020] ppid=4011 vsize=10555480 CPUtime=1.46 cores=1,3,5,7
/proc/4013/task/4020/stat : 4020 (java) S 4011 4013 787 0 -1 4202560 12721 0 0 0 145 1 0 0 15 0 19 0 877591744 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 3 0 0 0
[pid=4013/tid=4021] ppid=4011 vsize=10555480 CPUtime=1.57 cores=1,3,5,7
/proc/4013/task/4021/stat : 4021 (java) S 4011 4013 787 0 -1 4202560 21387 0 0 0 154 3 0 0 15 0 19 0 877591744 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 1 0 0 0
[pid=4013/tid=4022] ppid=4011 vsize=10555480 CPUtime=1.61 cores=1,3,5,7
/proc/4013/task/4022/stat : 4022 (java) S 4011 4013 787 0 -1 4202560 17683 0 0 0 159 2 0 0 16 0 19 0 877591744 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
[pid=4013/tid=4023] ppid=4011 vsize=10555480 CPUtime=1.66 cores=1,3,5,7
/proc/4013/task/4023/stat : 4023 (java) S 4011 4013 787 0 -1 4202560 22503 0 0 0 163 3 0 0 15 0 19 0 877591744 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
[pid=4013/tid=4024] ppid=4011 vsize=10555480 CPUtime=1.51 cores=1,3,5,7
/proc/4013/task/4024/stat : 4024 (java) S 4011 4013 787 0 -1 4202560 9778 0 0 0 148 3 0 0 15 0 19 0 877591745 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 0 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
[pid=4013/tid=4025] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4025/stat : 4025 (java) S 4011 4013 787 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877591745 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4026] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4026/stat : 4026 (java) S 4011 4013 787 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877591745 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4027] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4027/stat : 4027 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877591749 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652683185 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4028] ppid=4011 vsize=10555480 CPUtime=1.23 cores=1,3,5,7
/proc/4013/task/4028/stat : 4028 (java) S 4011 4013 787 0 -1 4202560 5708 0 0 0 123 0 0 0 16 0 19 0 877591749 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 3 0 0 0
[pid=4013/tid=4029] ppid=4011 vsize=10555480 CPUtime=0.94 cores=1,3,5,7
/proc/4013/task/4029/stat : 4029 (java) S 4011 4013 787 0 -1 4202560 7608 0 0 0 94 0 0 0 15 0 19 0 877591749 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 1 0 0 0
[pid=4013/tid=4030] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4030/stat : 4030 (java) S 4011 4013 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877591749 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652675481 0 4 0 16800975 18446604471125305472 0 0 -1 7 0 0 0
[pid=4013/tid=4031] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4031/stat : 4031 (java) S 4011 4013 787 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877591749 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
[pid=4013/tid=4032] ppid=4011 vsize=10555480 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4032/stat : 4032 (java) S 4011 4013 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877591767 10808811520 961767 33554432000 1073741824 1073778376 140736375492560 18446744073709551615 253652676096 0 4 0 16800975 18446604471125305472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10555480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.51 s]
/proc/loadavg: 2.08 2.02 1.84 3/195 4122
/proc/meminfo: memFree=26000064/32951124 swapFree=67060628/67111528
[pid=4013] ppid=4011 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/4013/stat : 4013 (java) Z 4011 4013 787 0 -1 4203548 970346 0 1 0 179907 116 0 0 17 0 2 0 877591739 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/4013/statm: 0 0 0 0 0 0 0
[pid=4013/tid=4025] ppid=4011 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/4013/task/4025/stat : 4025 (java) R 4011 4013 787 0 -1 4203588 17 0 0 0 0 7 0 0 18 0 2 0 877591745 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1788.57
CPU time (s): 1800.29
CPU user time (s): 1799.08
CPU system time (s): 1.21081
CPU usage (%): 100.655
Max. virtual memory (cumulated for all children) (KiB): 10565056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.21081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 970346
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42727
involuntary context switches= 14920
runsolver used 3.01654 second user time and 6.77397 second system time
The end