runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3743422-1338800887/watcher-3743422-1338800887 -o /tmp/evaluation-result-3743422-1338800887/solver-3743422-1338800887 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3743422-1338800887.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: 1.93 1.98 1.99 3/194 16010
/proc/meminfo: memFree=26822068/32873648 swapFree=7112/7112
[pid=16010] ppid=16008 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/16010/stat : 16010 (java6) D 16008 16010 14504 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 346214649 9515008 175 33554432000 1073741824 1073778376 140736092235744 140736092218472 242167399312 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/16010/statm: 2323 175 133 9 0 71 0
[startup+0.0623989 s]
/proc/loadavg: 1.93 1.98 1.99 3/194 16010
/proc/meminfo: memFree=26822068/32873648 swapFree=7112/7112
[pid=16010] ppid=16008 vsize=2648536 CPUtime=0.03 cores=1,3,5,7
/proc/16010/stat : 16010 (java) S 16008 16010 14504 0 -1 4202496 3828 0 1 0 3 0 0 0 20 0 18 0 346214649 2712100864 5037 33554432000 1073741824 1073778376 140735851558592 140735851549728 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16010/statm: 662134 5037 1745 9 0 652835 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2648536
[startup+0.100499 s]
/proc/loadavg: 1.93 1.98 1.99 3/194 16010
/proc/meminfo: memFree=26822068/32873648 swapFree=7112/7112
[pid=16010] ppid=16008 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/16010/stat : 16010 (java) S 16008 16010 14504 0 -1 4202496 4745 0 1 0 8 0 0 0 20 0 18 0 346214649 2712133632 5953 33554432000 1073741824 1073778376 140735851558592 140735851549728 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16010/statm: 662142 5953 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.300147 s]
/proc/loadavg: 1.93 1.98 1.99 3/194 16010
/proc/meminfo: memFree=26822068/32873648 swapFree=7112/7112
[pid=16010] ppid=16008 vsize=2648568 CPUtime=0.52 cores=1,3,5,7
/proc/16010/stat : 16010 (java) S 16008 16010 14504 0 -1 4202496 6894 0 1 0 51 1 0 0 20 0 18 0 346214649 2712133632 14235 33554432000 1073741824 1073778376 140735851558592 140735851549728 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16010/statm: 662142 14235 2223 9 0 652835 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2648568
[startup+0.700185 s]
/proc/loadavg: 1.93 1.98 1.99 3/194 16010
/proc/meminfo: memFree=26822068/32873648 swapFree=7112/7112
[pid=16010] ppid=16008 vsize=2648568 CPUtime=1.12 cores=1,3,5,7
/proc/16010/stat : 16010 (java) S 16008 16010 14504 0 -1 4202496 9749 0 1 0 107 5 0 0 20 0 18 0 346214649 2712133632 61596 33554432000 1073741824 1073778376 140735851558592 140735851549728 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16010/statm: 662142 61596 2233 9 0 652835 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2648568
[startup+1.50063 s]
/proc/loadavg: 1.93 1.98 1.99 3/212 16028
/proc/meminfo: memFree=26407580/32873648 swapFree=7112/7112
[pid=16010] ppid=16008 vsize=2648568 CPUtime=2.28 cores=1,3,5,7
/proc/16010/stat : 16010 (java) S 16008 16010 14504 0 -1 4202496 10007 0 1 0 213 15 0 0 20 0 18 0 346214649 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140735851549728 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16010/statm: 662142 109801 2251 9 0 652835 0
[pid=16010/tid=16012] ppid=16008 vsize=2648568 CPUtime=1.35 cores=1,3,5,7
/proc/16010/task/16012/stat : 16012 (java) R 16008 16010 14504 0 -1 4202560 2966 0 1 0 128 7 0 0 20 0 18 0 346214650 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140021631806920 242170782989 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16013] ppid=16008 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/16010/task/16013/stat : 16013 (java) S 16008 16010 14504 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 346214651 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140021498481448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16014] ppid=16008 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/16010/task/16014/stat : 16014 (java) S 16008 16010 14504 0 -1 4202560 23 0 0 0 1 2 0 0 20 0 18 0 346214651 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140021497428648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16015] ppid=16008 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/16010/task/16015/stat : 16015 (java) S 16008 16010 14504 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 18 0 346214651 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140021496376360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16016] ppid=16008 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/16010/task/16016/stat : 16016 (java) S 16008 16010 14504 0 -1 4202560 40 0 0 0 6 2 0 0 20 0 18 0 346214651 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140021495323560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16017] ppid=16008 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/16010/task/16017/stat : 16017 (java) S 16008 16010 14504 0 -1 4202560 27 0 0 0 2 2 0 0 20 0 18 0 346214651 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140021494270248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16018] ppid=16008 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/16010/task/16018/stat : 16018 (java) S 16008 16010 14504 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 18 0 346214651 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140021493217448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16019] ppid=16008 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/16010/task/16019/stat : 16019 (java) S 16008 16010 14504 0 -1 4202560 29 0 0 0 5 1 0 0 20 0 18 0 346214651 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140021492165160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16020] ppid=16008 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/16010/task/16020/stat : 16020 (java) S 16008 16010 14504 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 18 0 346214651 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140021491112360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16010/tid=16021] ppid=16008 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16021/stat : 16021 (java) S 16008 16010 14504 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346214652 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140021478914792 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16022] ppid=16008 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16022/stat : 16022 (java) S 16008 16010 14504 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 346214653 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140021477860856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16023] ppid=16008 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16023/stat : 16023 (java) S 16008 16010 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346214653 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140021476808456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16024] ppid=16008 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16024/stat : 16024 (java) S 16008 16010 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346214655 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140021475756944 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16025] ppid=16008 vsize=2648568 CPUtime=0.25 cores=1,3,5,7
/proc/16010/task/16025/stat : 16025 (java) S 16008 16010 14504 0 -1 4202560 2769 0 0 0 25 0 0 0 20 0 18 0 346214655 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140021474703544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16026] ppid=16008 vsize=2648568 CPUtime=0.22 cores=1,3,5,7
/proc/16010/task/16026/stat : 16026 (java) S 16008 16010 14504 0 -1 4202560 2900 0 0 0 22 0 0 0 20 0 18 0 346214655 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140021473650744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16027] ppid=16008 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16027/stat : 16027 (java) S 16008 16010 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346214655 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140021472598648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16028] ppid=16008 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16028/stat : 16028 (java) S 16008 16010 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346214655 2712133632 109801 33554432000 1073741824 1073778376 140735851558592 140021471546056 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 2648568
[startup+3.10063 s]
/proc/loadavg: 1.93 1.98 1.99 3/212 16028
/proc/meminfo: memFree=26388652/32873648 swapFree=7112/7112
[pid=16010] ppid=16008 vsize=2648568 CPUtime=4.48 cores=1,3,5,7
/proc/16010/stat : 16010 (java) S 16008 16010 14504 0 -1 4202496 10307 0 1 0 420 28 0 0 20 0 18 0 346214649 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140735851549728 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16010/statm: 662142 134480 2251 9 0 652835 0
[pid=16010/tid=16012] ppid=16008 vsize=2648568 CPUtime=2.75 cores=1,3,5,7
/proc/16010/task/16012/stat : 16012 (java) R 16008 16010 14504 0 -1 4202560 2968 0 1 0 267 8 0 0 20 0 18 0 346214650 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140021631799376 242170782989 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16013] ppid=16008 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/16010/task/16013/stat : 16013 (java) S 16008 16010 14504 0 -1 4202560 40 0 0 0 7 2 0 0 20 0 18 0 346214651 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140021498481448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16014] ppid=16008 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/16010/task/16014/stat : 16014 (java) S 16008 16010 14504 0 -1 4202560 50 0 0 0 7 2 0 0 20 0 18 0 346214651 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140021497428648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16015] ppid=16008 vsize=2648568 CPUtime=0.13 cores=1,3,5,7
/proc/16010/task/16015/stat : 16015 (java) S 16008 16010 14504 0 -1 4202560 55 0 0 0 11 2 0 0 20 0 18 0 346214651 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140021496376360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16016] ppid=16008 vsize=2648568 CPUtime=0.17 cores=1,3,5,7
/proc/16010/task/16016/stat : 16016 (java) S 16008 16010 14504 0 -1 4202560 75 0 0 0 14 3 0 0 20 0 18 0 346214651 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140021495323560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16010/tid=16017] ppid=16008 vsize=2648568 CPUtime=0.12 cores=1,3,5,7
/proc/16010/task/16017/stat : 16017 (java) S 16008 16010 14504 0 -1 4202560 61 0 0 0 10 2 0 0 20 0 18 0 346214651 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140021494270248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16010/tid=16018] ppid=16008 vsize=2648568 CPUtime=0.14 cores=1,3,5,7
/proc/16010/task/16018/stat : 16018 (java) S 16008 16010 14504 0 -1 4202560 59 0 0 0 11 3 0 0 20 0 18 0 346214651 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140021493217448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16019] ppid=16008 vsize=2648568 CPUtime=0.22 cores=1,3,5,7
/proc/16010/task/16019/stat : 16019 (java) S 16008 16010 14504 0 -1 4202560 90 0 0 0 18 4 0 0 20 0 18 0 346214651 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140021492165160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16020] ppid=16008 vsize=2648568 CPUtime=0.15 cores=1,3,5,7
/proc/16010/task/16020/stat : 16020 (java) S 16008 16010 14504 0 -1 4202560 59 0 0 0 13 2 0 0 20 0 18 0 346214651 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140021491112360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16021] ppid=16008 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16021/stat : 16021 (java) S 16008 16010 14504 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346214652 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140021478914792 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16022] ppid=16008 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16022/stat : 16022 (java) S 16008 16010 14504 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 346214653 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140021477860856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16023] ppid=16008 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16023/stat : 16023 (java) S 16008 16010 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346214653 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140021476808456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16024] ppid=16008 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16024/stat : 16024 (java) S 16008 16010 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346214655 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140021475756944 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16025] ppid=16008 vsize=2648568 CPUtime=0.25 cores=1,3,5,7
/proc/16010/task/16025/stat : 16025 (java) S 16008 16010 14504 0 -1 4202560 2769 0 0 0 25 0 0 0 20 0 18 0 346214655 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140021474703544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16026] ppid=16008 vsize=2648568 CPUtime=0.22 cores=1,3,5,7
/proc/16010/task/16026/stat : 16026 (java) S 16008 16010 14504 0 -1 4202560 2900 0 0 0 22 0 0 0 20 0 18 0 346214655 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140021473650744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16027] ppid=16008 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16027/stat : 16027 (java) S 16008 16010 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346214655 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140021472598648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16028] ppid=16008 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16028/stat : 16028 (java) S 16008 16010 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346214655 2712133632 134480 33554432000 1073741824 1073778376 140735851558592 140021471546056 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 2648568
[startup+6.30064 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 16029
/proc/meminfo: memFree=26228972/32873648 swapFree=7112/7112
[pid=16010] ppid=16008 vsize=2715132 CPUtime=9.1 cores=1,3,5,7
/proc/16010/stat : 16010 (java) S 16008 16010 14504 0 -1 4202496 10973 0 1 0 876 34 0 0 20 0 19 0 346214649 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140735851549728 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16010/statm: 678783 149863 2266 9 0 669476 0
[pid=16010/tid=16012] ppid=16008 vsize=2715132 CPUtime=5.55 cores=1,3,5,7
/proc/16010/task/16012/stat : 16012 (java) R 16008 16010 14504 0 -1 4202560 3004 0 1 0 546 9 0 0 20 0 19 0 346214650 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021631808072 140021572252957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16013] ppid=16008 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/16010/task/16013/stat : 16013 (java) S 16008 16010 14504 0 -1 4202560 266 0 0 0 24 2 0 0 20 0 19 0 346214651 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021498481448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16010/tid=16014] ppid=16008 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/16010/task/16014/stat : 16014 (java) S 16008 16010 14504 0 -1 4202560 75 0 0 0 23 3 0 0 20 0 19 0 346214651 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021497428648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16015] ppid=16008 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/16010/task/16015/stat : 16015 (java) S 16008 16010 14504 0 -1 4202560 148 0 0 0 26 2 0 0 20 0 19 0 346214651 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021496376360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16010/tid=16016] ppid=16008 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/16010/task/16016/stat : 16016 (java) S 16008 16010 14504 0 -1 4202560 106 0 0 0 36 4 0 0 20 0 19 0 346214651 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021495323560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16017] ppid=16008 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/16010/task/16017/stat : 16017 (java) S 16008 16010 14504 0 -1 4202560 90 0 0 0 28 4 0 0 20 0 19 0 346214651 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021494270248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16018] ppid=16008 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/16010/task/16018/stat : 16018 (java) S 16008 16010 14504 0 -1 4202560 93 0 0 0 29 3 0 0 20 0 19 0 346214651 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021493217448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16019] ppid=16008 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/16010/task/16019/stat : 16019 (java) S 16008 16010 14504 0 -1 4202560 115 0 0 0 33 4 0 0 20 0 19 0 346214651 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021492165160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16020] ppid=16008 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/16010/task/16020/stat : 16020 (java) S 16008 16010 14504 0 -1 4202560 79 0 0 0 31 3 0 0 20 0 19 0 346214651 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021491112360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16021] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16021/stat : 16021 (java) S 16008 16010 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346214652 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021478914792 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16022] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16022/stat : 16022 (java) S 16008 16010 14504 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346214653 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021477860856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16023] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16023/stat : 16023 (java) S 16008 16010 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346214653 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021476808456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16024] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16024/stat : 16024 (java) S 16008 16010 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346214655 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021475756944 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16025] ppid=16008 vsize=2715132 CPUtime=0.51 cores=1,3,5,7
/proc/16010/task/16025/stat : 16025 (java) S 16008 16010 14504 0 -1 4202560 2876 0 0 0 51 0 0 0 20 0 19 0 346214655 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021474703544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16026] ppid=16008 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/16010/task/16026/stat : 16026 (java) S 16008 16010 14504 0 -1 4202560 2930 0 0 0 36 0 0 0 20 0 19 0 346214655 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021473650744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16027] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16027/stat : 16027 (java) S 16008 16010 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346214655 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021472598648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16028] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16028/stat : 16028 (java) S 16008 16010 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346214655 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021471546056 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16029] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16029/stat : 16029 (java) S 16008 16010 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346215182 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140021470492072 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 9.1
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
/proc/loadavg: 1.94 1.98 1.99 3/213 16029
/proc/meminfo: memFree=26228748/32873648 swapFree=7112/7112
[pid=16010] ppid=16008 vsize=2715132 CPUtime=15.56 cores=1,3,5,7
/proc/16010/stat : 16010 (java) S 16008 16010 14504 0 -1 4202496 10985 0 1 0 1522 34 0 0 20 0 19 0 346214649 2780295168 149863 33554432000 1073741824 1073778376 140735851558592 140735851549728 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
################
# More data... #
################
[pid=16010/tid=16018] ppid=16008 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/16010/task/16018/stat : 16018 (java) S 16008 16010 14504 0 -1 4202560 93 0 0 0 29 3 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021493217448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16019] ppid=16008 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/16010/task/16019/stat : 16019 (java) S 16008 16010 14504 0 -1 4202560 115 0 0 0 33 4 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021492165160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16020] ppid=16008 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/16010/task/16020/stat : 16020 (java) S 16008 16010 14504 0 -1 4202560 79 0 0 0 31 3 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021491112360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16021] ppid=16008 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/16010/task/16021/stat : 16021 (java) S 16008 16010 14504 0 -1 4202560 12 0 0 0 0 2 0 0 20 0 19 0 346214652 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021478914792 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16022] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16022/stat : 16022 (java) S 16008 16010 14504 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346214653 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021477860856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16023] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16023/stat : 16023 (java) S 16008 16010 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346214653 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021476808456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16024] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16024/stat : 16024 (java) S 16008 16010 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021475756944 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16025] ppid=16008 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/16010/task/16025/stat : 16025 (java) S 16008 16010 14504 0 -1 4202560 2877 0 0 0 54 0 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021474703544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16026] ppid=16008 vsize=2715132 CPUtime=0.57 cores=1,3,5,7
/proc/16010/task/16026/stat : 16026 (java) S 16008 16010 14504 0 -1 4202560 2959 0 0 0 57 0 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021473650744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16027] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16027/stat : 16027 (java) S 16008 16010 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021472598648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16028] ppid=16008 vsize=2715132 CPUtime=0.29 cores=1,3,5,7
/proc/16010/task/16028/stat : 16028 (java) S 16008 16010 14504 0 -1 4202560 95 0 0 0 15 14 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021471546056 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16029] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16029/stat : 16029 (java) S 16008 16010 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346215182 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021470492072 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1664.97
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/213 16103
/proc/meminfo: memFree=26227084/32873648 swapFree=7112/7112
[pid=16010] ppid=16008 vsize=2715132 CPUtime=1724.98 cores=1,3,5,7
/proc/16010/stat : 16010 (java) S 16008 16010 14504 0 -1 4202496 11115 0 1 0 172445 53 0 0 20 0 19 0 346214649 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140735851549728 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16010/statm: 678783 151912 2270 9 0 669476 0
[pid=16010/tid=16012] ppid=16008 vsize=2715132 CPUtime=1721.17 cores=1,3,5,7
/proc/16010/task/16012/stat : 16012 (java) R 16008 16010 14504 0 -1 4202560 3015 0 1 0 172079 38 0 0 20 0 19 0 346214650 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021631805840 140021572284195 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16013] ppid=16008 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/16010/task/16013/stat : 16013 (java) S 16008 16010 14504 0 -1 4202560 266 0 0 0 24 2 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021498481448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16010/tid=16014] ppid=16008 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/16010/task/16014/stat : 16014 (java) S 16008 16010 14504 0 -1 4202560 75 0 0 0 23 3 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021497428648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16015] ppid=16008 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/16010/task/16015/stat : 16015 (java) S 16008 16010 14504 0 -1 4202560 148 0 0 0 26 2 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021496376360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16010/tid=16016] ppid=16008 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/16010/task/16016/stat : 16016 (java) S 16008 16010 14504 0 -1 4202560 106 0 0 0 36 4 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021495323560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16017] ppid=16008 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/16010/task/16017/stat : 16017 (java) S 16008 16010 14504 0 -1 4202560 90 0 0 0 28 4 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021494270248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16018] ppid=16008 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/16010/task/16018/stat : 16018 (java) S 16008 16010 14504 0 -1 4202560 93 0 0 0 29 3 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021493217448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16019] ppid=16008 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/16010/task/16019/stat : 16019 (java) S 16008 16010 14504 0 -1 4202560 115 0 0 0 33 4 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021492165160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16020] ppid=16008 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/16010/task/16020/stat : 16020 (java) S 16008 16010 14504 0 -1 4202560 79 0 0 0 31 3 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021491112360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16021] ppid=16008 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/16010/task/16021/stat : 16021 (java) S 16008 16010 14504 0 -1 4202560 12 0 0 0 0 2 0 0 20 0 19 0 346214652 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021478914792 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16022] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16022/stat : 16022 (java) S 16008 16010 14504 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346214653 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021477860856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16023] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16023/stat : 16023 (java) S 16008 16010 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346214653 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021476808456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16024] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16024/stat : 16024 (java) S 16008 16010 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021475756944 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16025] ppid=16008 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/16010/task/16025/stat : 16025 (java) S 16008 16010 14504 0 -1 4202560 2877 0 0 0 54 0 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021474703544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16026] ppid=16008 vsize=2715132 CPUtime=0.57 cores=1,3,5,7
/proc/16010/task/16026/stat : 16026 (java) S 16008 16010 14504 0 -1 4202560 2959 0 0 0 57 0 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021473650744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16027] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16027/stat : 16027 (java) S 16008 16010 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021472598648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16028] ppid=16008 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/16010/task/16028/stat : 16028 (java) S 16008 16010 14504 0 -1 4202560 99 0 0 0 16 15 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021471546056 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16029] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16029/stat : 16029 (java) S 16008 16010 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346215182 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021470492072 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1724.98
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 16103
/proc/meminfo: memFree=26226928/32873648 swapFree=7112/7112
[pid=16010] ppid=16008 vsize=2715132 CPUtime=1784.97 cores=1,3,5,7
/proc/16010/stat : 16010 (java) S 16008 16010 14504 0 -1 4202496 11119 0 1 0 178444 53 0 0 20 0 19 0 346214649 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140735851549728 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16010/statm: 678783 151912 2270 9 0 669476 0
[pid=16010/tid=16012] ppid=16008 vsize=2715132 CPUtime=1781.17 cores=1,3,5,7
/proc/16010/task/16012/stat : 16012 (java) R 16008 16010 14504 0 -1 4202560 3015 0 1 0 178078 39 0 0 20 0 19 0 346214650 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021631805840 140021572284166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16013] ppid=16008 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/16010/task/16013/stat : 16013 (java) S 16008 16010 14504 0 -1 4202560 266 0 0 0 24 2 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021498481448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16010/tid=16014] ppid=16008 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/16010/task/16014/stat : 16014 (java) S 16008 16010 14504 0 -1 4202560 75 0 0 0 23 3 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021497428648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16015] ppid=16008 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/16010/task/16015/stat : 16015 (java) S 16008 16010 14504 0 -1 4202560 148 0 0 0 26 2 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021496376360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16010/tid=16016] ppid=16008 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/16010/task/16016/stat : 16016 (java) S 16008 16010 14504 0 -1 4202560 106 0 0 0 36 4 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021495323560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16017] ppid=16008 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/16010/task/16017/stat : 16017 (java) S 16008 16010 14504 0 -1 4202560 90 0 0 0 28 4 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021494270248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16018] ppid=16008 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/16010/task/16018/stat : 16018 (java) S 16008 16010 14504 0 -1 4202560 93 0 0 0 29 3 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021493217448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16019] ppid=16008 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/16010/task/16019/stat : 16019 (java) S 16008 16010 14504 0 -1 4202560 115 0 0 0 33 4 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021492165160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16020] ppid=16008 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/16010/task/16020/stat : 16020 (java) S 16008 16010 14504 0 -1 4202560 79 0 0 0 31 3 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021491112360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16021] ppid=16008 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/16010/task/16021/stat : 16021 (java) S 16008 16010 14504 0 -1 4202560 12 0 0 0 0 2 0 0 20 0 19 0 346214652 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021478914792 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16022] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16022/stat : 16022 (java) S 16008 16010 14504 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346214653 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021477860856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16023] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16023/stat : 16023 (java) S 16008 16010 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346214653 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021476808456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16024] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16024/stat : 16024 (java) S 16008 16010 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021475756944 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16025] ppid=16008 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/16010/task/16025/stat : 16025 (java) S 16008 16010 14504 0 -1 4202560 2877 0 0 0 54 0 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021474703544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16026] ppid=16008 vsize=2715132 CPUtime=0.57 cores=1,3,5,7
/proc/16010/task/16026/stat : 16026 (java) S 16008 16010 14504 0 -1 4202560 2959 0 0 0 57 0 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021473650744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16027] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16027/stat : 16027 (java) S 16008 16010 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021472598648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16028] ppid=16008 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/16010/task/16028/stat : 16028 (java) S 16008 16010 14504 0 -1 4202560 103 0 0 0 16 15 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021471546056 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16029] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16029/stat : 16029 (java) S 16008 16010 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346215182 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021470492072 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1784.97
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.41 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 16103
/proc/meminfo: memFree=26226932/32873648 swapFree=7112/7112
[pid=16010] ppid=16008 vsize=2715132 CPUtime=1800.1 cores=1,3,5,7
/proc/16010/stat : 16010 (java) S 16008 16010 14504 0 -1 4202496 11119 0 1 0 179956 54 0 0 20 0 19 0 346214649 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140735851549728 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16010/statm: 678783 151912 2270 9 0 669476 0
[pid=16010/tid=16012] ppid=16008 vsize=2715132 CPUtime=1796.29 cores=1,3,5,7
/proc/16010/task/16012/stat : 16012 (java) R 16008 16010 14504 0 -1 4202560 3015 0 1 0 179590 39 0 0 20 0 19 0 346214650 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021631805840 140021572284536 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16013] ppid=16008 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/16010/task/16013/stat : 16013 (java) S 16008 16010 14504 0 -1 4202560 266 0 0 0 24 2 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021498481448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16010/tid=16014] ppid=16008 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/16010/task/16014/stat : 16014 (java) S 16008 16010 14504 0 -1 4202560 75 0 0 0 23 3 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021497428648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16015] ppid=16008 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/16010/task/16015/stat : 16015 (java) S 16008 16010 14504 0 -1 4202560 148 0 0 0 26 2 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021496376360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16010/tid=16016] ppid=16008 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/16010/task/16016/stat : 16016 (java) S 16008 16010 14504 0 -1 4202560 106 0 0 0 36 4 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021495323560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16017] ppid=16008 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/16010/task/16017/stat : 16017 (java) S 16008 16010 14504 0 -1 4202560 90 0 0 0 28 4 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021494270248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16018] ppid=16008 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/16010/task/16018/stat : 16018 (java) S 16008 16010 14504 0 -1 4202560 93 0 0 0 29 3 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021493217448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16019] ppid=16008 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/16010/task/16019/stat : 16019 (java) S 16008 16010 14504 0 -1 4202560 115 0 0 0 33 4 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021492165160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16020] ppid=16008 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/16010/task/16020/stat : 16020 (java) S 16008 16010 14504 0 -1 4202560 79 0 0 0 31 3 0 0 20 0 19 0 346214651 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021491112360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16021] ppid=16008 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/16010/task/16021/stat : 16021 (java) S 16008 16010 14504 0 -1 4202560 12 0 0 0 0 2 0 0 20 0 19 0 346214652 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021478914792 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16022] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16022/stat : 16022 (java) S 16008 16010 14504 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346214653 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021477860856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16023] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16023/stat : 16023 (java) S 16008 16010 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346214653 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021476808456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16024] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16024/stat : 16024 (java) S 16008 16010 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021475756944 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16025] ppid=16008 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/16010/task/16025/stat : 16025 (java) S 16008 16010 14504 0 -1 4202560 2877 0 0 0 54 0 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021474703544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16010/tid=16026] ppid=16008 vsize=2715132 CPUtime=0.57 cores=1,3,5,7
/proc/16010/task/16026/stat : 16026 (java) S 16008 16010 14504 0 -1 4202560 2959 0 0 0 57 0 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021473650744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16027] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16027/stat : 16027 (java) S 16008 16010 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021472598648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16010/tid=16028] ppid=16008 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/16010/task/16028/stat : 16028 (java) S 16008 16010 14504 0 -1 4202560 103 0 0 0 16 15 0 0 20 0 19 0 346214655 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021471546056 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16010/tid=16029] ppid=16008 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16010/task/16029/stat : 16029 (java) S 16008 16010 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346215182 2780295168 151912 33554432000 1073741824 1073778376 140735851558592 140021470492072 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.45
CPU time (s): 1800.57
CPU user time (s): 1799.61
CPU system time (s): 0.961853
CPU usage (%): 100.174
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.961853
maximum resident set size= 607796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11160
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39011
involuntary context switches= 37146
runsolver used 6.52201 second user time and 14.0629 second system time
The end