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-3456518-1307221252/watcher-3456518-1307221252 -o /tmp/evaluation-result-3456518-1307221252/solver-3456518-1307221252 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456518-1307221252.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: 2.00 2.03 2.00 3/548 13015
/proc/meminfo: memFree=11675544/32951132 swapFree=46579808/67111528
[pid=13015] ppid=13013 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13015/stat : 13015 (java) S 13013 13015 12416 0 -1 4202496 3329 0 1 0 0 0 0 0 25 0 2 0 833723833 10694979584 3032 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/13015/statm: 2611079 3045 917 9 0 2602235 0
[pid=13015/tid=13016] ppid=13013 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13016/stat : 13016 (java) R 13013 13015 12416 0 -1 4202560 6051 0 1 0 0 0 0 0 25 0 2 0 833723833 10694979584 6867 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0873909 s]
/proc/loadavg: 2.00 2.03 2.00 3/548 13015
/proc/meminfo: memFree=11675544/32951132 swapFree=46579808/67111528
[pid=13015] ppid=13013 vsize=10539524 CPUtime=0.08 cores=1,3,5,7
/proc/13015/stat : 13015 (java) S 13013 13015 12416 0 -1 4202496 12736 0 1 0 7 1 0 0 25 0 18 0 833723833 10792472576 12394 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13015/statm: 2634881 12396 2018 9 0 2625615 0
[pid=13015/tid=13016] ppid=13013 vsize=10539524 CPUtime=0.07 cores=1,3,5,7
/proc/13015/task/13016/stat : 13016 (java) R 13013 13015 12416 0 -1 4202560 10941 0 1 0 6 1 0 0 18 0 18 0 833723833 10792472576 12397 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242970546021 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539524
[startup+0.10024 s]
/proc/loadavg: 2.00 2.03 2.00 3/548 13015
/proc/meminfo: memFree=11675544/32951132 swapFree=46579808/67111528
[pid=13015] ppid=13013 vsize=10539676 CPUtime=0.1 cores=1,3,5,7
/proc/13015/stat : 13015 (java) S 13013 13015 12416 0 -1 4202496 13061 0 1 0 8 2 0 0 25 0 18 0 833723833 10792628224 12719 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13015/statm: 2634919 12719 2092 9 0 2625653 0
[pid=13015/tid=13016] ppid=13013 vsize=10539676 CPUtime=0.08 cores=1,3,5,7
/proc/13015/task/13016/stat : 13016 (java) R 13013 13015 12416 0 -1 4202560 11085 0 1 0 7 1 0 0 18 0 18 0 833723833 10792628224 12719 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 46912496206944 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539676
[startup+0.389744 s]
/proc/loadavg: 2.00 2.03 2.00 3/548 13015
/proc/meminfo: memFree=11675544/32951132 swapFree=46579808/67111528
[pid=13015] ppid=13013 vsize=10548348 CPUtime=0.85 cores=1,3,5,7
/proc/13015/stat : 13015 (java) S 13013 13015 12416 0 -1 4202496 25715 0 1 0 82 3 0 0 25 0 18 0 833723833 10801508352 23014 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13015/statm: 2637087 23017 2208 9 0 2627821 0
[pid=13015/tid=13016] ppid=13013 vsize=10548348 CPUtime=0.37 cores=1,3,5,7
/proc/13015/task/13016/stat : 13016 (java) R 13013 13015 12416 0 -1 4202560 16643 0 1 0 35 2 0 0 18 0 18 0 833723833 10801508352 23018 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 10548348
[startup+0.701151 s]
/proc/loadavg: 2.00 2.03 2.00 3/548 13015
/proc/meminfo: memFree=11675544/32951132 swapFree=46579808/67111528
[pid=13015] ppid=13013 vsize=10548348 CPUtime=1.18 cores=1,3,5,7
/proc/13015/stat : 13015 (java) S 13013 13015 12416 0 -1 4202496 54576 0 1 0 111 7 0 0 25 0 18 0 833723833 10801508352 51875 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13015/statm: 2637087 51876 2212 9 0 2627821 0
[pid=13015/tid=13016] ppid=13013 vsize=10548348 CPUtime=0.68 cores=1,3,5,7
/proc/13015/task/13016/stat : 13016 (java) R 13013 13015 12416 0 -1 4202560 45494 0 1 0 62 6 0 0 18 0 18 0 833723833 10801508352 51878 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 46912505581281 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10548348
[startup+1.501 s]
/proc/loadavg: 2.32 2.09 2.02 5/566 13033
/proc/meminfo: memFree=11330144/32951132 swapFree=46579808/67111528
[pid=13015] ppid=13013 vsize=10550648 CPUtime=2.26 cores=1,3,5,7
/proc/13015/stat : 13015 (java) S 13013 13015 12416 0 -1 4202496 137189 0 1 0 210 16 0 0 25 0 18 0 833723833 10803863552 134488 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13015/statm: 2637662 134493 2216 9 0 2628396 0
[pid=13015/tid=13016] ppid=13013 vsize=10550648 CPUtime=1.48 cores=1,3,5,7
/proc/13015/task/13016/stat : 13016 (java) R 13013 13015 12416 0 -1 4202560 127438 0 1 0 133 15 0 0 19 0 18 0 833723833 10803863552 134495 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 46912505736506 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13015/tid=13018] ppid=13013 vsize=10550648 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13018/stat : 13018 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833723835 10803863552 134497 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13019] ppid=13013 vsize=10550648 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13019/stat : 13019 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833723835 10803863552 134500 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13020] ppid=13013 vsize=10550648 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13020/stat : 13020 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833723835 10803863552 134503 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13021] ppid=13013 vsize=10550648 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13021/stat : 13021 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833723835 10803863552 134505 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13022] ppid=13013 vsize=10550648 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13022/stat : 13022 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833723835 10803863552 134508 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13023] ppid=13013 vsize=10550648 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13023/stat : 13023 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833723835 10803863552 134511 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13024] ppid=13013 vsize=10550648 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13024/stat : 13024 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833723835 10803863552 134513 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13025] ppid=13013 vsize=10550648 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13025/stat : 13025 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833723835 10803863552 134516 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13026] ppid=13013 vsize=10550648 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13026/stat : 13026 (java) S 13013 13015 12416 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 833723836 10803863552 134519 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366720 0 0 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13027] ppid=13013 vsize=10550648 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13027/stat : 13027 (java) S 13013 13015 12416 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 833723836 10803863552 134521 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13028] ppid=13013 vsize=10550648 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13028/stat : 13028 (java) S 13013 13015 12416 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 833723836 10803863552 134523 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13029] ppid=13013 vsize=10550648 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13029/stat : 13029 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833723839 10803863552 134526 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982373809 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13030] ppid=13013 vsize=10550648 CPUtime=0.37 cores=1,3,5,7
/proc/13015/task/13030/stat : 13030 (java) S 13013 13015 12416 0 -1 4202560 3218 0 0 0 37 0 0 0 16 0 18 0 833723839 10803863552 134529 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13031] ppid=13013 vsize=10550648 CPUtime=0.38 cores=1,3,5,7
/proc/13015/task/13031/stat : 13031 (java) S 13013 13015 12416 0 -1 4202560 5391 0 0 0 38 0 0 0 15 0 18 0 833723839 10803863552 134531 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 1 0 0 0
[pid=13015/tid=13032] ppid=13013 vsize=10550648 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13032/stat : 13032 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833723839 10803863552 134534 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13033] ppid=13013 vsize=10550648 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13033/stat : 13033 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 833723839 10803863552 134537 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281920 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 10550648
[startup+3.10075 s]
/proc/loadavg: 2.32 2.09 2.02 4/567 13034
/proc/meminfo: memFree=11039976/32951132 swapFree=46579808/67111528
[pid=13015] ppid=13013 vsize=10552268 CPUtime=4.21 cores=1,3,5,7
/proc/13015/stat : 13015 (java) S 13013 13015 12416 0 -1 4202496 202372 0 1 0 397 24 0 0 25 0 19 0 833723833 10805522432 199670 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13015/statm: 2638067 199672 2233 9 0 2628801 0
[pid=13015/tid=13016] ppid=13013 vsize=10552268 CPUtime=3.08 cores=1,3,5,7
/proc/13015/task/13016/stat : 13016 (java) R 13013 13015 12416 0 -1 4202560 192404 0 1 0 285 23 0 0 25 0 19 0 833723833 10805522432 199673 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 46912505870569 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13015/tid=13018] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13018/stat : 13018 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723835 10805522432 199675 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13019] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13019/stat : 13019 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723835 10805522432 199676 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13020] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13020/stat : 13020 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723835 10805522432 199677 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13021] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13021/stat : 13021 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723835 10805522432 199678 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13022] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13022/stat : 13022 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723835 10805522432 199680 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13023] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13023/stat : 13023 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723835 10805522432 199680 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13024] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13024/stat : 13024 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723835 10805522432 199682 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13025] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13025/stat : 13025 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723835 10805522432 199683 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13026] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13026/stat : 13026 (java) S 13013 13015 12416 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833723836 10805522432 199684 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366720 0 0 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13027] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13027/stat : 13027 (java) S 13013 13015 12416 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833723836 10805522432 199685 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13028] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13028/stat : 13028 (java) S 13013 13015 12416 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833723836 10805522432 199686 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13029] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13029/stat : 13029 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723839 10805522432 199688 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982373809 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13030] ppid=13013 vsize=10552268 CPUtime=0.57 cores=1,3,5,7
/proc/13015/task/13030/stat : 13030 (java) S 13013 13015 12416 0 -1 4202560 3395 0 0 0 57 0 0 0 15 0 19 0 833723839 10805522432 199689 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13031] ppid=13013 vsize=10552268 CPUtime=0.53 cores=1,3,5,7
/proc/13015/task/13031/stat : 13031 (java) S 13013 13015 12416 0 -1 4202560 5417 0 0 0 53 0 0 0 15 0 19 0 833723839 10805522432 199690 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 1 0 0 0
[pid=13015/tid=13032] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13032/stat : 13032 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723839 10805522432 199691 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13033] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13033/stat : 13033 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833723839 10805522432 199693 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13034] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13034/stat : 13034 (java) S 13013 13015 12416 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833723986 10805522432 199694 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 10552268
[startup+6.30119 s]
/proc/loadavg: 2.29 2.09 2.02 3/567 13034
/proc/meminfo: memFree=10474308/32951132 swapFree=46579808/67111528
[pid=13015] ppid=13013 vsize=10552268 CPUtime=7.59 cores=1,3,5,7
/proc/13015/stat : 13015 (java) S 13013 13015 12416 0 -1 4202496 344204 0 1 0 719 40 0 0 25 0 19 0 833723833 10805522432 341445 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13015/statm: 2638067 341447 2237 9 0 2628801 0
[pid=13015/tid=13016] ppid=13013 vsize=10552268 CPUtime=6.29 cores=1,3,5,7
/proc/13015/task/13016/stat : 13016 (java) R 13013 13015 12416 0 -1 4202560 334209 0 1 0 589 40 0 0 25 0 19 0 833723833 10805522432 341447 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 46912505870569 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13015/tid=13018] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13018/stat : 13018 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723835 10805522432 341448 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13019] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13019/stat : 13019 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723835 10805522432 341449 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13020] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13020/stat : 13020 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723835 10805522432 341449 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13021] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13021/stat : 13021 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723835 10805522432 341450 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13022] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13022/stat : 13022 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723835 10805522432 341451 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13023] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13023/stat : 13023 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723835 10805522432 341451 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13024] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13024/stat : 13024 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723835 10805522432 341452 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13025] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13025/stat : 13025 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723835 10805522432 341453 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13026] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13026/stat : 13026 (java) S 13013 13015 12416 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833723836 10805522432 341454 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366720 0 0 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13027] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13027/stat : 13027 (java) S 13013 13015 12416 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833723836 10805522432 341455 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13028] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13028/stat : 13028 (java) S 13013 13015 12416 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833723836 10805522432 341456 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13029] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13029/stat : 13029 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723839 10805522432 341457 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982373809 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13030] ppid=13013 vsize=10552268 CPUtime=0.68 cores=1,3,5,7
/proc/13015/task/13030/stat : 13030 (java) S 13013 13015 12416 0 -1 4202560 3410 0 0 0 68 0 0 0 15 0 19 0 833723839 10805522432 341458 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13031] ppid=13013 vsize=10552268 CPUtime=0.61 cores=1,3,5,7
/proc/13015/task/13031/stat : 13031 (java) S 13013 13015 12416 0 -1 4202560 5427 0 0 0 61 0 0 0 15 0 19 0 833723839 10805522432 341459 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 1 0 0 0
[pid=13015/tid=13032] ppid=13013 vsize=10552268 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13032/stat : 13032 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723839 10805522432 341460 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/13015/task/13028/stat : 13028 (java) S 13013 13015 12416 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833723836 10807156736 936888 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13029] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13029/stat : 13029 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723839 10807156736 936888 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982373809 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13030] ppid=13013 vsize=10553864 CPUtime=1.63 cores=1,3,5,7
/proc/13015/task/13030/stat : 13030 (java) S 13013 13015 12416 0 -1 4202560 6367 0 0 0 163 0 0 0 15 0 19 0 833723839 10807156736 936888 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 1 0 0 0
[pid=13015/tid=13031] ppid=13013 vsize=10553864 CPUtime=0.79 cores=1,3,5,7
/proc/13015/task/13031/stat : 13031 (java) S 13013 13015 12416 0 -1 4202560 5482 0 0 0 79 0 0 0 16 0 19 0 833723839 10807156736 936888 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13032] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13032/stat : 13032 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723839 10807156736 936888 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13033] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13033/stat : 13033 (java) S 13013 13015 12416 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833723839 10807156736 936888 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13034] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13034/stat : 13034 (java) S 13013 13015 12416 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833723986 10807156736 936888 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1671.14
Current children cumulated vsize (KiB) 10553864
[startup+1722.3 s]
/proc/loadavg: 2.10 2.13 2.05 3/567 13186
/proc/meminfo: memFree=7885428/32951132 swapFree=46579808/67111528
[pid=13015] ppid=13013 vsize=10553864 CPUtime=1731.42 cores=1,3,5,7
/proc/13015/stat : 13015 (java) S 13013 13015 12416 0 -1 4202496 944637 0 1 0 173024 118 0 0 25 0 19 0 833723833 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13015/statm: 2638466 937999 2267 9 0 2629200 0
[pid=13015/tid=13016] ppid=13013 vsize=10553864 CPUtime=1717.41 cores=1,3,5,7
/proc/13015/task/13016/stat : 13016 (java) R 13013 13015 12416 0 -1 4202560 795048 0 1 0 171648 93 0 0 25 0 19 0 833723833 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 46912505929288 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13015/tid=13018] ppid=13013 vsize=10553864 CPUtime=1.13 cores=1,3,5,7
/proc/13015/task/13018/stat : 13018 (java) S 13013 13015 12416 0 -1 4202560 13696 0 0 0 112 1 0 0 16 0 19 0 833723835 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 3 0 0 0
[pid=13015/tid=13019] ppid=13013 vsize=10553864 CPUtime=1.13 cores=1,3,5,7
/proc/13015/task/13019/stat : 13019 (java) S 13013 13015 12416 0 -1 4202560 11510 0 0 0 112 1 0 0 16 0 19 0 833723835 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13020] ppid=13013 vsize=10553864 CPUtime=1.18 cores=1,3,5,7
/proc/13015/task/13020/stat : 13020 (java) S 13013 13015 12416 0 -1 4202560 14021 0 0 0 116 2 0 0 15 0 19 0 833723835 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13021] ppid=13013 vsize=10553864 CPUtime=1 cores=1,3,5,7
/proc/13015/task/13021/stat : 13021 (java) S 13013 13015 12416 0 -1 4202560 9577 0 0 0 99 1 0 0 15 0 19 0 833723835 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13022] ppid=13013 vsize=10553864 CPUtime=1.26 cores=1,3,5,7
/proc/13015/task/13022/stat : 13022 (java) S 13013 13015 12416 0 -1 4202560 20013 0 0 0 124 2 0 0 15 0 19 0 833723835 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 3 0 0 0
[pid=13015/tid=13023] ppid=13013 vsize=10553864 CPUtime=1.26 cores=1,3,5,7
/proc/13015/task/13023/stat : 13023 (java) S 13013 13015 12416 0 -1 4202560 23897 0 0 0 123 3 0 0 16 0 19 0 833723835 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13024] ppid=13013 vsize=10553864 CPUtime=1.3 cores=1,3,5,7
/proc/13015/task/13024/stat : 13024 (java) S 13013 13015 12416 0 -1 4202560 19327 0 0 0 127 3 0 0 16 0 19 0 833723835 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 1 0 0 0
[pid=13015/tid=13025] ppid=13013 vsize=10553864 CPUtime=1.2 cores=1,3,5,7
/proc/13015/task/13025/stat : 13025 (java) S 13013 13015 12416 0 -1 4202560 17022 0 0 0 118 2 0 0 15 0 19 0 833723835 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 1 0 0 0
[pid=13015/tid=13026] ppid=13013 vsize=10553864 CPUtime=2 cores=1,3,5,7
/proc/13015/task/13026/stat : 13026 (java) S 13013 13015 12416 0 -1 4202560 7427 0 0 0 197 3 0 0 15 0 19 0 833723836 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366720 0 0 0 16800975 18446604470261281920 0 0 -1 3 0 0 0
[pid=13015/tid=13027] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13027/stat : 13027 (java) S 13013 13015 12416 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833723836 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13028] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13028/stat : 13028 (java) S 13013 13015 12416 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833723836 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13029] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13029/stat : 13029 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723839 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982373809 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13030] ppid=13013 vsize=10553864 CPUtime=1.63 cores=1,3,5,7
/proc/13015/task/13030/stat : 13030 (java) S 13013 13015 12416 0 -1 4202560 6367 0 0 0 163 0 0 0 15 0 19 0 833723839 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 1 0 0 0
[pid=13015/tid=13031] ppid=13013 vsize=10553864 CPUtime=0.79 cores=1,3,5,7
/proc/13015/task/13031/stat : 13031 (java) S 13013 13015 12416 0 -1 4202560 5482 0 0 0 79 0 0 0 16 0 19 0 833723839 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13032] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13032/stat : 13032 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723839 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13033] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13033/stat : 13033 (java) S 13013 13015 12416 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833723839 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13034] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13034/stat : 13034 (java) S 13013 13015 12416 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833723986 10807156736 937999 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1731.42
Current children cumulated vsize (KiB) 10553864
[startup+1782.3 s]
/proc/loadavg: 2.03 2.10 2.04 3/567 13188
/proc/meminfo: memFree=7869540/32951132 swapFree=46579808/67111528
[pid=13015] ppid=13013 vsize=10553864 CPUtime=1791.67 cores=1,3,5,7
/proc/13015/stat : 13015 (java) S 13013 13015 12416 0 -1 4202496 946492 0 1 0 179049 118 0 0 25 0 19 0 833723833 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13015/statm: 2638466 939830 2267 9 0 2629200 0
[pid=13015/tid=13016] ppid=13013 vsize=10553864 CPUtime=1776.78 cores=1,3,5,7
/proc/13015/task/13016/stat : 13016 (java) R 13013 13015 12416 0 -1 4202560 795052 0 1 0 177585 93 0 0 25 0 19 0 833723833 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 46912505913256 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13015/tid=13018] ppid=13013 vsize=10553864 CPUtime=1.19 cores=1,3,5,7
/proc/13015/task/13018/stat : 13018 (java) S 13013 13015 12416 0 -1 4202560 13852 0 0 0 118 1 0 0 16 0 19 0 833723835 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 3 0 0 0
[pid=13015/tid=13019] ppid=13013 vsize=10553864 CPUtime=1.15 cores=1,3,5,7
/proc/13015/task/13019/stat : 13019 (java) S 13013 13015 12416 0 -1 4202560 11567 0 0 0 114 1 0 0 15 0 19 0 833723835 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 3 0 0 0
[pid=13015/tid=13020] ppid=13013 vsize=10553864 CPUtime=1.22 cores=1,3,5,7
/proc/13015/task/13020/stat : 13020 (java) S 13013 13015 12416 0 -1 4202560 14065 0 0 0 120 2 0 0 15 0 19 0 833723835 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13021] ppid=13013 vsize=10553864 CPUtime=1.04 cores=1,3,5,7
/proc/13015/task/13021/stat : 13021 (java) S 13013 13015 12416 0 -1 4202560 9669 0 0 0 103 1 0 0 15 0 19 0 833723835 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13022] ppid=13013 vsize=10553864 CPUtime=1.29 cores=1,3,5,7
/proc/13015/task/13022/stat : 13022 (java) S 13013 13015 12416 0 -1 4202560 20077 0 0 0 127 2 0 0 15 0 19 0 833723835 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13023] ppid=13013 vsize=10553864 CPUtime=1.29 cores=1,3,5,7
/proc/13015/task/13023/stat : 13023 (java) S 13013 13015 12416 0 -1 4202560 23910 0 0 0 126 3 0 0 16 0 19 0 833723835 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13024] ppid=13013 vsize=10553864 CPUtime=1.4 cores=1,3,5,7
/proc/13015/task/13024/stat : 13024 (java) S 13013 13015 12416 0 -1 4202560 19652 0 0 0 137 3 0 0 16 0 19 0 833723835 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13025] ppid=13013 vsize=10553864 CPUtime=1.23 cores=1,3,5,7
/proc/13015/task/13025/stat : 13025 (java) S 13013 13015 12416 0 -1 4202560 17073 0 0 0 121 2 0 0 15 0 19 0 833723835 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 1 0 0 0
[pid=13015/tid=13026] ppid=13013 vsize=10553864 CPUtime=2.52 cores=1,3,5,7
/proc/13015/task/13026/stat : 13026 (java) S 13013 13015 12416 0 -1 4202560 8472 0 0 0 249 3 0 0 15 0 19 0 833723836 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366720 0 0 0 16800975 18446604470261281920 0 0 -1 3 0 0 0
[pid=13015/tid=13027] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13027/stat : 13027 (java) S 13013 13015 12416 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833723836 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13028] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13028/stat : 13028 (java) S 13013 13015 12416 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833723836 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13029] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13029/stat : 13029 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723839 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982373809 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13030] ppid=13013 vsize=10553864 CPUtime=1.63 cores=1,3,5,7
/proc/13015/task/13030/stat : 13030 (java) S 13013 13015 12416 0 -1 4202560 6367 0 0 0 163 0 0 0 15 0 19 0 833723839 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 1 0 0 0
[pid=13015/tid=13031] ppid=13013 vsize=10553864 CPUtime=0.79 cores=1,3,5,7
/proc/13015/task/13031/stat : 13031 (java) S 13013 13015 12416 0 -1 4202560 5482 0 0 0 79 0 0 0 16 0 19 0 833723839 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13032] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13032/stat : 13032 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723839 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13033] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13033/stat : 13033 (java) S 13013 13015 12416 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833723839 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13034] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13034/stat : 13034 (java) S 13013 13015 12416 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833723986 10807156736 939830 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1791.67
Current children cumulated vsize (KiB) 10553864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.6 s]
/proc/loadavg: 2.03 2.10 2.04 3/567 13188
/proc/meminfo: memFree=7868920/32951132 swapFree=46579808/67111528
[pid=13015] ppid=13013 vsize=10553864 CPUtime=1800.04 cores=1,3,5,7
/proc/13015/stat : 13015 (java) S 13013 13015 12416 0 -1 4202496 946785 0 1 0 179886 118 0 0 25 0 19 0 833723833 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13015/statm: 2638466 940122 2267 9 0 2629200 0
[pid=13015/tid=13016] ppid=13013 vsize=10553864 CPUtime=1785.06 cores=1,3,5,7
/proc/13015/task/13016/stat : 13016 (java) R 13013 13015 12416 0 -1 4202560 795053 0 1 0 178413 93 0 0 25 0 19 0 833723833 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 46912505914010 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13015/tid=13018] ppid=13013 vsize=10553864 CPUtime=1.19 cores=1,3,5,7
/proc/13015/task/13018/stat : 13018 (java) S 13013 13015 12416 0 -1 4202560 13852 0 0 0 118 1 0 0 15 0 19 0 833723835 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 3 0 0 0
[pid=13015/tid=13019] ppid=13013 vsize=10553864 CPUtime=1.18 cores=1,3,5,7
/proc/13015/task/13019/stat : 13019 (java) S 13013 13015 12416 0 -1 4202560 11642 0 0 0 117 1 0 0 16 0 19 0 833723835 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 3 0 0 0
[pid=13015/tid=13020] ppid=13013 vsize=10553864 CPUtime=1.25 cores=1,3,5,7
/proc/13015/task/13020/stat : 13020 (java) S 13013 13015 12416 0 -1 4202560 14208 0 0 0 123 2 0 0 16 0 19 0 833723835 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13021] ppid=13013 vsize=10553864 CPUtime=1.04 cores=1,3,5,7
/proc/13015/task/13021/stat : 13021 (java) S 13013 13015 12416 0 -1 4202560 9669 0 0 0 103 1 0 0 15 0 19 0 833723835 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13022] ppid=13013 vsize=10553864 CPUtime=1.29 cores=1,3,5,7
/proc/13015/task/13022/stat : 13022 (java) S 13013 13015 12416 0 -1 4202560 20077 0 0 0 127 2 0 0 15 0 19 0 833723835 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13023] ppid=13013 vsize=10553864 CPUtime=1.32 cores=1,3,5,7
/proc/13015/task/13023/stat : 13023 (java) S 13013 13015 12416 0 -1 4202560 23984 0 0 0 129 3 0 0 16 0 19 0 833723835 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13024] ppid=13013 vsize=10553864 CPUtime=1.4 cores=1,3,5,7
/proc/13015/task/13024/stat : 13024 (java) S 13013 13015 12416 0 -1 4202560 19652 0 0 0 137 3 0 0 15 0 19 0 833723835 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13025] ppid=13013 vsize=10553864 CPUtime=1.23 cores=1,3,5,7
/proc/13015/task/13025/stat : 13025 (java) S 13013 13015 12416 0 -1 4202560 17073 0 0 0 121 2 0 0 15 0 19 0 833723835 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 1 0 0 0
[pid=13015/tid=13026] ppid=13013 vsize=10553864 CPUtime=2.52 cores=1,3,5,7
/proc/13015/task/13026/stat : 13026 (java) S 13013 13015 12416 0 -1 4202560 8472 0 0 0 249 3 0 0 15 0 19 0 833723836 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366720 0 0 0 16800975 18446604470261281920 0 0 -1 3 0 0 0
[pid=13015/tid=13027] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13027/stat : 13027 (java) S 13013 13015 12416 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833723836 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13028] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13028/stat : 13028 (java) S 13013 13015 12416 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833723836 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13029] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13029/stat : 13029 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723839 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982373809 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13030] ppid=13013 vsize=10553864 CPUtime=1.63 cores=1,3,5,7
/proc/13015/task/13030/stat : 13030 (java) S 13013 13015 12416 0 -1 4202560 6367 0 0 0 163 0 0 0 15 0 19 0 833723839 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 1 0 0 0
[pid=13015/tid=13031] ppid=13013 vsize=10553864 CPUtime=0.79 cores=1,3,5,7
/proc/13015/task/13031/stat : 13031 (java) S 13013 13015 12416 0 -1 4202560 5482 0 0 0 79 0 0 0 16 0 19 0 833723839 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 7 0 0 0
[pid=13015/tid=13032] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13032/stat : 13032 (java) S 13013 13015 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723839 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13033] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13033/stat : 13033 (java) S 13013 13015 12416 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833723839 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
[pid=13015/tid=13034] ppid=13013 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/13015/task/13034/stat : 13034 (java) S 13013 13015 12416 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833723986 10807156736 940122 33554432000 1073741824 1073778376 140736545230048 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281920 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10553864
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.73 s]
/proc/loadavg: 2.03 2.10 2.04 3/551 13191
/proc/meminfo: memFree=9610872/32951132 swapFree=46579808/67111528
[pid=13015] ppid=13013 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/13015/stat : 13015 (java) Z 13013 13015 12416 0 -1 4203548 946815 0 1 0 179895 126 0 0 17 0 2 0 833723833 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13015/statm: 0 0 0 0 0 0 0
[pid=13015/tid=13027] ppid=13013 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/13015/task/13027/stat : 13027 (java) R 13013 13015 12416 0 -1 4203588 17 0 0 0 0 8 0 0 18 0 2 0 833723836 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1790.8
CPU time (s): 1800.28
CPU user time (s): 1798.96
CPU system time (s): 1.3288
CPU usage (%): 100.53
Max. virtual memory (cumulated for all children) (KiB): 10564108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.3288
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 946815
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= 40412
involuntary context switches= 7903
runsolver used 9.65753 second user time and 22.8275 second system time
The end