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-3455984-1307660900/watcher-3455984-1307660900 -o /tmp/evaluation-result-3455984-1307660900/solver-3455984-1307660900 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455984-1307660900.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.15 2.07 2.02 2/196 11012
/proc/meminfo: memFree=29057144/32951124 swapFree=67063556/67111528
[pid=11012] ppid=11010 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/11012/stat : 11012 (java) R 11010 11012 8879 0 -1 4202496 949 0 0 0 0 0 0 0 25 0 1 0 877688183 23580672 694 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246511871464 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11012/statm: 5757 694 511 9 0 124 0
[startup+0.0308581 s]
/proc/loadavg: 2.15 2.07 2.02 2/196 11012
/proc/meminfo: memFree=29057144/32951124 swapFree=67063556/67111528
[pid=11012] ppid=11010 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/11012/stat : 11012 (java) S 11010 11012 8879 0 -1 4202496 10712 0 1 0 1 1 0 0 25 0 10 0 877688183 10705932288 10412 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/11012/statm: 2613753 10414 1515 9 0 2604501 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.100845 s]
/proc/loadavg: 2.15 2.07 2.02 2/196 11012
/proc/meminfo: memFree=29057144/32951124 swapFree=67063556/67111528
[pid=11012] ppid=11010 vsize=10539816 CPUtime=0.09 cores=1,3,5,7
/proc/11012/stat : 11012 (java) S 11010 11012 8879 0 -1 4202496 13035 0 1 0 8 1 0 0 25 0 18 0 877688183 10792771584 12698 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11012/statm: 2634954 12700 2092 9 0 2625688 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539816
[startup+0.300774 s]
/proc/loadavg: 2.15 2.07 2.02 2/196 11012
/proc/meminfo: memFree=29057144/32951124 swapFree=67063556/67111528
[pid=11012] ppid=11010 vsize=10543292 CPUtime=0.51 cores=1,3,5,7
/proc/11012/stat : 11012 (java) S 11010 11012 8879 0 -1 4202496 17742 0 1 0 49 2 0 0 25 0 19 0 877688183 10796331008 16464 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11012/statm: 2635823 16465 2192 9 0 2626557 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10543292
[startup+0.700703 s]
/proc/loadavg: 2.15 2.07 2.02 2/196 11012
/proc/meminfo: memFree=29057144/32951124 swapFree=67063556/67111528
[pid=11012] ppid=11010 vsize=10551876 CPUtime=1.71 cores=1,3,5,7
/proc/11012/stat : 11012 (java) S 11010 11012 8879 0 -1 4202496 45861 0 1 0 166 5 0 0 25 0 19 0 877688183 10805121024 38310 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11012/statm: 2637969 38316 2216 9 0 2628703 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 10551876
[startup+1.50159 s]
/proc/loadavg: 2.30 2.10 2.03 3/215 11031
/proc/meminfo: memFree=28791852/32951124 swapFree=67063556/67111528
[pid=11012] ppid=11010 vsize=10551876 CPUtime=2.92 cores=1,3,5,7
/proc/11012/stat : 11012 (java) S 11010 11012 8879 0 -1 4202496 129281 0 1 0 279 13 0 0 25 0 19 0 877688183 10805121024 119233 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11012/statm: 2637969 119237 2221 9 0 2628703 0
[pid=11012/tid=11014] ppid=11010 vsize=10551876 CPUtime=1.48 cores=1,3,5,7
/proc/11012/task/11014/stat : 11014 (java) R 11010 11012 8879 0 -1 4202560 111025 0 1 0 137 11 0 0 21 0 19 0 877688184 10805121024 119238 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 46912505583151 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11012/tid=11015] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11015/stat : 11015 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 119242 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11016] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11016/stat : 11016 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 119245 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11017] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11017/stat : 11017 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 119247 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11018] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11018/stat : 11018 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 119248 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11019] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11019/stat : 11019 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 119248 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11020] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11020/stat : 11020 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 119249 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11021] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11021/stat : 11021 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 119249 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11022] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11022/stat : 11022 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 119251 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11023] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11023/stat : 11023 (java) S 11010 11012 8879 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877688187 10805121024 119253 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 0 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11024] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11024/stat : 11024 (java) S 11010 11012 8879 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877688187 10805121024 119255 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11025] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11025/stat : 11025 (java) S 11010 11012 8879 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877688187 10805121024 119256 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11026] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11026/stat : 11026 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688189 10805121024 119258 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528657841 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11027] ppid=11010 vsize=10551876 CPUtime=0.78 cores=1,3,5,7
/proc/11012/task/11027/stat : 11027 (java) S 11010 11012 8879 0 -1 4202560 9904 0 0 0 77 1 0 0 21 0 19 0 877688189 10805121024 119260 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 7 0 0 0
[pid=11012/tid=11028] ppid=11010 vsize=10551876 CPUtime=0.64 cores=1,3,5,7
/proc/11012/task/11028/stat : 11028 (java) S 11010 11012 8879 0 -1 4202560 7198 0 0 0 64 0 0 0 15 0 19 0 877688189 10805121024 119263 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 1 0 0 0
[pid=11012/tid=11029] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11029/stat : 11029 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688189 10805121024 119265 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11030] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11030/stat : 11030 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877688189 10805121024 119269 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11031] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11031/stat : 11031 (java) S 11010 11012 8879 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877688199 10805121024 119273 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 10551876
[startup+3.10131 s]
/proc/loadavg: 2.30 2.10 2.03 3/215 11031
/proc/meminfo: memFree=28141732/32951124 swapFree=67063556/67111528
[pid=11012] ppid=11010 vsize=10551876 CPUtime=4.65 cores=1,3,5,7
/proc/11012/stat : 11012 (java) S 11010 11012 8879 0 -1 4202496 283945 0 1 0 433 32 0 0 25 0 19 0 877688183 10805121024 273453 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11012/statm: 2637969 273457 2221 9 0 2628703 0
[pid=11012/tid=11014] ppid=11010 vsize=10551876 CPUtime=3.08 cores=1,3,5,7
/proc/11012/task/11014/stat : 11014 (java) R 11010 11012 8879 0 -1 4202560 265233 0 1 0 278 30 0 0 25 0 19 0 877688184 10805121024 273459 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 46912505523483 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11012/tid=11015] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11015/stat : 11015 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 273462 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11016] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11016/stat : 11016 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 273465 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11017] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11017/stat : 11017 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 273467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11018] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11018/stat : 11018 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 273470 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11019] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11019/stat : 11019 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 273472 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11020] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11020/stat : 11020 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 273474 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11021] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11021/stat : 11021 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 273477 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11022] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11022/stat : 11022 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 273479 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11023] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11023/stat : 11023 (java) S 11010 11012 8879 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 877688187 10805121024 273481 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 0 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11024] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11024/stat : 11024 (java) S 11010 11012 8879 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877688187 10805121024 273483 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11025] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11025/stat : 11025 (java) S 11010 11012 8879 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877688187 10805121024 273485 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11026] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11026/stat : 11026 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688189 10805121024 273488 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528657841 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11027] ppid=11010 vsize=10551876 CPUtime=0.89 cores=1,3,5,7
/proc/11012/task/11027/stat : 11027 (java) S 11010 11012 8879 0 -1 4202560 10360 0 0 0 88 1 0 0 15 0 19 0 877688189 10805121024 273490 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 7 0 0 0
[pid=11012/tid=11028] ppid=11010 vsize=10551876 CPUtime=0.65 cores=1,3,5,7
/proc/11012/task/11028/stat : 11028 (java) S 11010 11012 8879 0 -1 4202560 7198 0 0 0 65 0 0 0 15 0 19 0 877688189 10805121024 273491 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 1 0 0 0
[pid=11012/tid=11029] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11029/stat : 11029 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688189 10805121024 273494 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11030] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11030/stat : 11030 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877688189 10805121024 273497 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11031] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11031/stat : 11031 (java) S 11010 11012 8879 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877688199 10805121024 273500 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 10551876
[startup+6.30072 s]
/proc/loadavg: 2.30 2.10 2.03 3/215 11031
/proc/meminfo: memFree=26771332/32951124 swapFree=67063556/67111528
[pid=11012] ppid=11010 vsize=10551876 CPUtime=7.85 cores=1,3,5,7
/proc/11012/stat : 11012 (java) S 11010 11012 8879 0 -1 4202496 568634 0 1 0 725 60 0 0 25 0 19 0 877688183 10805121024 558140 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11012/statm: 2637969 558143 2221 9 0 2628703 0
[pid=11012/tid=11014] ppid=11010 vsize=10551876 CPUtime=6.28 cores=1,3,5,7
/proc/11012/task/11014/stat : 11014 (java) R 11010 11012 8879 0 -1 4202560 549921 0 1 0 570 58 0 0 25 0 19 0 877688184 10805121024 558145 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 46912505532309 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11012/tid=11015] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11015/stat : 11015 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 558146 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11016] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11016/stat : 11016 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 558149 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11017] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11017/stat : 11017 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 558151 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11018] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11018/stat : 11018 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 558153 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11019] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11019/stat : 11019 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 558156 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11020] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11020/stat : 11020 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 558158 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11021] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11021/stat : 11021 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 558160 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11022] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11022/stat : 11022 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688186 10805121024 558162 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11023] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11023/stat : 11023 (java) S 11010 11012 8879 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 877688187 10805121024 558164 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 0 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11024] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11024/stat : 11024 (java) S 11010 11012 8879 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877688187 10805121024 558166 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11025] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11025/stat : 11025 (java) S 11010 11012 8879 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877688187 10805121024 558168 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11026] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11026/stat : 11026 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688189 10805121024 558170 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528657841 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11027] ppid=11010 vsize=10551876 CPUtime=0.89 cores=1,3,5,7
/proc/11012/task/11027/stat : 11027 (java) S 11010 11012 8879 0 -1 4202560 10360 0 0 0 88 1 0 0 15 0 19 0 877688189 10805121024 558172 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 7 0 0 0
[pid=11012/tid=11028] ppid=11010 vsize=10551876 CPUtime=0.66 cores=1,3,5,7
/proc/11012/task/11028/stat : 11028 (java) S 11010 11012 8879 0 -1 4202560 7198 0 0 0 66 0 0 0 15 0 19 0 877688189 10805121024 558174 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 1 0 0 0
[pid=11012/tid=11029] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11029/stat : 11029 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688189 10805121024 558176 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11030] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11030/stat : 11030 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877688189 10805121024 558178 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11031] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11031/stat : 11031 (java) S 11010 11012 8879 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877688199 10805121024 558180 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.85
Current children cumulated vsize (KiB) 10551876
[startup+12.7016 s]
################
# More data... #
################
/proc/11012/task/11024/stat : 11024 (java) S 11010 11012 8879 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877688187 10805121024 937575 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11025] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11025/stat : 11025 (java) S 11010 11012 8879 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877688187 10805121024 937575 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11026] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11026/stat : 11026 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688189 10805121024 937575 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528657841 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11027] ppid=11010 vsize=10551876 CPUtime=0.99 cores=1,3,5,7
/proc/11012/task/11027/stat : 11027 (java) S 11010 11012 8879 0 -1 4202560 10373 0 0 0 98 1 0 0 15 0 19 0 877688189 10805121024 937575 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 7 0 0 0
[pid=11012/tid=11028] ppid=11010 vsize=10551876 CPUtime=0.77 cores=1,3,5,7
/proc/11012/task/11028/stat : 11028 (java) S 11010 11012 8879 0 -1 4202560 7218 0 0 0 77 0 0 0 15 0 19 0 877688189 10805121024 937575 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 1 0 0 0
[pid=11012/tid=11029] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11029/stat : 11029 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688189 10805121024 937575 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11030] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11030/stat : 11030 (java) S 11010 11012 8879 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 877688189 10805121024 937575 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 4 0 16800975 18446604467252988032 0 0 -1 1 0 0 0
[pid=11012/tid=11031] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11031/stat : 11031 (java) S 11010 11012 8879 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877688199 10805121024 937575 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1669.15
Current children cumulated vsize (KiB) 10551876
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/215 11077
/proc/meminfo: memFree=24564800/32951124 swapFree=67063556/67111528
[pid=11012] ppid=11010 vsize=10551876 CPUtime=1729.41 cores=1,3,5,7
/proc/11012/stat : 11012 (java) S 11010 11012 8879 0 -1 4202496 951463 0 1 0 172836 105 0 0 25 0 19 0 877688183 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11012/statm: 2637969 939467 2257 9 0 2628703 0
[pid=11012/tid=11014] ppid=11010 vsize=10551876 CPUtime=1718.79 cores=1,3,5,7
/proc/11012/task/11014/stat : 11014 (java) R 11010 11012 8879 0 -1 4202560 831444 0 1 0 171791 88 0 0 25 0 19 0 877688184 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 46912505521370 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11012/tid=11015] ppid=11010 vsize=10551876 CPUtime=0.99 cores=1,3,5,7
/proc/11012/task/11015/stat : 11015 (java) S 11010 11012 8879 0 -1 4202560 13973 0 0 0 97 2 0 0 15 0 19 0 877688186 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 7 0 0 0
[pid=11012/tid=11016] ppid=11010 vsize=10551876 CPUtime=0.86 cores=1,3,5,7
/proc/11012/task/11016/stat : 11016 (java) S 11010 11012 8879 0 -1 4202560 10473 0 0 0 85 1 0 0 16 0 19 0 877688186 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11017] ppid=11010 vsize=10551876 CPUtime=0.85 cores=1,3,5,7
/proc/11012/task/11017/stat : 11017 (java) S 11010 11012 8879 0 -1 4202560 11681 0 0 0 84 1 0 0 15 0 19 0 877688186 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11018] ppid=11010 vsize=10551876 CPUtime=0.93 cores=1,3,5,7
/proc/11012/task/11018/stat : 11018 (java) S 11010 11012 8879 0 -1 4202560 9811 0 0 0 92 1 0 0 16 0 19 0 877688186 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11019] ppid=11010 vsize=10551876 CPUtime=0.81 cores=1,3,5,7
/proc/11012/task/11019/stat : 11019 (java) S 11010 11012 8879 0 -1 4202560 10769 0 0 0 80 1 0 0 16 0 19 0 877688186 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 7 0 0 0
[pid=11012/tid=11020] ppid=11010 vsize=10551876 CPUtime=0.99 cores=1,3,5,7
/proc/11012/task/11020/stat : 11020 (java) S 11010 11012 8879 0 -1 4202560 11704 0 0 0 98 1 0 0 15 0 19 0 877688186 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11021] ppid=11010 vsize=10551876 CPUtime=0.95 cores=1,3,5,7
/proc/11012/task/11021/stat : 11021 (java) S 11010 11012 8879 0 -1 4202560 11442 0 0 0 94 1 0 0 15 0 19 0 877688186 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 7 0 0 0
[pid=11012/tid=11022] ppid=11010 vsize=10551876 CPUtime=0.83 cores=1,3,5,7
/proc/11012/task/11022/stat : 11022 (java) S 11010 11012 8879 0 -1 4202560 10530 0 0 0 82 1 0 0 16 0 19 0 877688186 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 1 0 0 0
[pid=11012/tid=11023] ppid=11010 vsize=10551876 CPUtime=1.55 cores=1,3,5,7
/proc/11012/task/11023/stat : 11023 (java) S 11010 11012 8879 0 -1 4202560 10798 0 0 0 153 2 0 0 15 0 19 0 877688187 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 0 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11024] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11024/stat : 11024 (java) S 11010 11012 8879 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877688187 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11025] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11025/stat : 11025 (java) S 11010 11012 8879 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877688187 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11026] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11026/stat : 11026 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688189 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528657841 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11027] ppid=11010 vsize=10551876 CPUtime=0.99 cores=1,3,5,7
/proc/11012/task/11027/stat : 11027 (java) S 11010 11012 8879 0 -1 4202560 10373 0 0 0 98 1 0 0 15 0 19 0 877688189 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 7 0 0 0
[pid=11012/tid=11028] ppid=11010 vsize=10551876 CPUtime=0.77 cores=1,3,5,7
/proc/11012/task/11028/stat : 11028 (java) S 11010 11012 8879 0 -1 4202560 7218 0 0 0 77 0 0 0 15 0 19 0 877688189 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 1 0 0 0
[pid=11012/tid=11029] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11029/stat : 11029 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688189 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11030] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11030/stat : 11030 (java) S 11010 11012 8879 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 877688189 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 4 0 16800975 18446604467252988032 0 0 -1 1 0 0 0
[pid=11012/tid=11031] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11031/stat : 11031 (java) S 11010 11012 8879 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877688199 10805121024 939467 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1729.41
Current children cumulated vsize (KiB) 10551876
[startup+1782.3 s]
/proc/loadavg: 1.97 2.03 2.00 3/215 11137
/proc/meminfo: memFree=25277388/32951124 swapFree=67063556/67111528
[pid=11012] ppid=11010 vsize=10551876 CPUtime=1789.64 cores=1,3,5,7
/proc/11012/stat : 11012 (java) S 11010 11012 8879 0 -1 4202496 953735 0 1 0 178858 106 0 0 25 0 19 0 877688183 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11012/statm: 2637969 941701 2257 9 0 2628703 0
[pid=11012/tid=11014] ppid=11010 vsize=10551876 CPUtime=1778.71 cores=1,3,5,7
/proc/11012/task/11014/stat : 11014 (java) R 11010 11012 8879 0 -1 4202560 831448 0 1 0 177783 88 0 0 25 0 19 0 877688184 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 46912505535431 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11012/tid=11015] ppid=11010 vsize=10551876 CPUtime=1 cores=1,3,5,7
/proc/11012/task/11015/stat : 11015 (java) S 11010 11012 8879 0 -1 4202560 13973 0 0 0 98 2 0 0 16 0 19 0 877688186 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 7 0 0 0
[pid=11012/tid=11016] ppid=11010 vsize=10551876 CPUtime=0.91 cores=1,3,5,7
/proc/11012/task/11016/stat : 11016 (java) S 11010 11012 8879 0 -1 4202560 10900 0 0 0 90 1 0 0 16 0 19 0 877688186 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11017] ppid=11010 vsize=10551876 CPUtime=0.88 cores=1,3,5,7
/proc/11012/task/11017/stat : 11017 (java) S 11010 11012 8879 0 -1 4202560 12024 0 0 0 87 1 0 0 15 0 19 0 877688186 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11018] ppid=11010 vsize=10551876 CPUtime=0.98 cores=1,3,5,7
/proc/11012/task/11018/stat : 11018 (java) S 11010 11012 8879 0 -1 4202560 10233 0 0 0 97 1 0 0 16 0 19 0 877688186 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11019] ppid=11010 vsize=10551876 CPUtime=0.86 cores=1,3,5,7
/proc/11012/task/11019/stat : 11019 (java) S 11010 11012 8879 0 -1 4202560 11230 0 0 0 85 1 0 0 16 0 19 0 877688186 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 1 0 0 0
[pid=11012/tid=11020] ppid=11010 vsize=10551876 CPUtime=1 cores=1,3,5,7
/proc/11012/task/11020/stat : 11020 (java) S 11010 11012 8879 0 -1 4202560 11816 0 0 0 99 1 0 0 15 0 19 0 877688186 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11021] ppid=11010 vsize=10551876 CPUtime=0.98 cores=1,3,5,7
/proc/11012/task/11021/stat : 11021 (java) S 11010 11012 8879 0 -1 4202560 11589 0 0 0 97 1 0 0 15 0 19 0 877688186 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 7 0 0 0
[pid=11012/tid=11022] ppid=11010 vsize=10551876 CPUtime=0.89 cores=1,3,5,7
/proc/11012/task/11022/stat : 11022 (java) S 11010 11012 8879 0 -1 4202560 10880 0 0 0 88 1 0 0 16 0 19 0 877688186 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 7 0 0 0
[pid=11012/tid=11023] ppid=11010 vsize=10551876 CPUtime=1.55 cores=1,3,5,7
/proc/11012/task/11023/stat : 11023 (java) S 11010 11012 8879 0 -1 4202560 10800 0 0 0 153 2 0 0 15 0 19 0 877688187 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 0 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11024] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11024/stat : 11024 (java) S 11010 11012 8879 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877688187 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11025] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11025/stat : 11025 (java) S 11010 11012 8879 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877688187 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11026] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11026/stat : 11026 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688189 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528657841 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11027] ppid=11010 vsize=10551876 CPUtime=0.99 cores=1,3,5,7
/proc/11012/task/11027/stat : 11027 (java) S 11010 11012 8879 0 -1 4202560 10373 0 0 0 98 1 0 0 15 0 19 0 877688189 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 7 0 0 0
[pid=11012/tid=11028] ppid=11010 vsize=10551876 CPUtime=0.77 cores=1,3,5,7
/proc/11012/task/11028/stat : 11028 (java) S 11010 11012 8879 0 -1 4202560 7218 0 0 0 77 0 0 0 15 0 19 0 877688189 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 1 0 0 0
[pid=11012/tid=11029] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11029/stat : 11029 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688189 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11030] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11030/stat : 11030 (java) S 11010 11012 8879 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 877688189 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 4 0 16800975 18446604467252988032 0 0 -1 1 0 0 0
[pid=11012/tid=11031] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11031/stat : 11031 (java) S 11010 11012 8879 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877688199 10805121024 941701 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1789.64
Current children cumulated vsize (KiB) 10551876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.6 s]
/proc/loadavg: 1.98 2.02 2.00 3/215 11137
/proc/meminfo: memFree=24875124/32951124 swapFree=67063556/67111528
[pid=11012] ppid=11010 vsize=10551876 CPUtime=1800 cores=1,3,5,7
/proc/11012/stat : 11012 (java) S 11010 11012 8879 0 -1 4202496 954114 0 1 0 179894 106 0 0 25 0 19 0 877688183 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11012/statm: 2637969 942065 2257 9 0 2628703 0
[pid=11012/tid=11014] ppid=11010 vsize=10551876 CPUtime=1789 cores=1,3,5,7
/proc/11012/task/11014/stat : 11014 (java) R 11010 11012 8879 0 -1 4202560 831449 0 1 0 178812 88 0 0 25 0 19 0 877688184 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 46912505535343 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11012/tid=11015] ppid=11010 vsize=10551876 CPUtime=1.01 cores=1,3,5,7
/proc/11012/task/11015/stat : 11015 (java) S 11010 11012 8879 0 -1 4202560 14055 0 0 0 99 2 0 0 16 0 19 0 877688186 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11016] ppid=11010 vsize=10551876 CPUtime=0.93 cores=1,3,5,7
/proc/11012/task/11016/stat : 11016 (java) S 11010 11012 8879 0 -1 4202560 10906 0 0 0 92 1 0 0 16 0 19 0 877688186 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11017] ppid=11010 vsize=10551876 CPUtime=0.88 cores=1,3,5,7
/proc/11012/task/11017/stat : 11017 (java) S 11010 11012 8879 0 -1 4202560 12024 0 0 0 87 1 0 0 16 0 19 0 877688186 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11018] ppid=11010 vsize=10551876 CPUtime=0.98 cores=1,3,5,7
/proc/11012/task/11018/stat : 11018 (java) S 11010 11012 8879 0 -1 4202560 10233 0 0 0 97 1 0 0 15 0 19 0 877688186 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11019] ppid=11010 vsize=10551876 CPUtime=0.88 cores=1,3,5,7
/proc/11012/task/11019/stat : 11019 (java) S 11010 11012 8879 0 -1 4202560 11379 0 0 0 87 1 0 0 16 0 19 0 877688186 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 1 0 0 0
[pid=11012/tid=11020] ppid=11010 vsize=10551876 CPUtime=1 cores=1,3,5,7
/proc/11012/task/11020/stat : 11020 (java) S 11010 11012 8879 0 -1 4202560 11816 0 0 0 99 1 0 0 16 0 19 0 877688186 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 5 0 0 0
[pid=11012/tid=11021] ppid=11010 vsize=10551876 CPUtime=1 cores=1,3,5,7
/proc/11012/task/11021/stat : 11021 (java) S 11010 11012 8879 0 -1 4202560 11728 0 0 0 99 1 0 0 16 0 19 0 877688186 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 7 0 0 0
[pid=11012/tid=11022] ppid=11010 vsize=10551876 CPUtime=0.89 cores=1,3,5,7
/proc/11012/task/11022/stat : 11022 (java) S 11010 11012 8879 0 -1 4202560 10880 0 0 0 88 1 0 0 16 0 19 0 877688186 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 7 0 0 0
[pid=11012/tid=11023] ppid=11010 vsize=10551876 CPUtime=1.55 cores=1,3,5,7
/proc/11012/task/11023/stat : 11023 (java) S 11010 11012 8879 0 -1 4202560 10802 0 0 0 153 2 0 0 15 0 19 0 877688187 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 0 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11024] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11024/stat : 11024 (java) S 11010 11012 8879 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877688187 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11025] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11025/stat : 11025 (java) S 11010 11012 8879 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877688187 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11026] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11026/stat : 11026 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688189 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528657841 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11027] ppid=11010 vsize=10551876 CPUtime=0.99 cores=1,3,5,7
/proc/11012/task/11027/stat : 11027 (java) S 11010 11012 8879 0 -1 4202560 10373 0 0 0 98 1 0 0 15 0 19 0 877688189 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 7 0 0 0
[pid=11012/tid=11028] ppid=11010 vsize=10551876 CPUtime=0.77 cores=1,3,5,7
/proc/11012/task/11028/stat : 11028 (java) S 11010 11012 8879 0 -1 4202560 7218 0 0 0 77 0 0 0 15 0 19 0 877688189 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 1 0 0 0
[pid=11012/tid=11029] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11029/stat : 11029 (java) S 11010 11012 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877688189 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650137 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
[pid=11012/tid=11030] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11030/stat : 11030 (java) S 11010 11012 8879 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 877688189 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 4 0 16800975 18446604467252988032 0 0 -1 1 0 0 0
[pid=11012/tid=11031] ppid=11010 vsize=10551876 CPUtime=0 cores=1,3,5,7
/proc/11012/task/11031/stat : 11031 (java) S 11010 11012 8879 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877688199 10805121024 942065 33554432000 1073741824 1073778376 140737407268752 18446744073709551615 246528650752 0 4 0 16800975 18446604467252988032 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 10551876
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.71 s]
/proc/loadavg: 1.98 2.02 2.00 3/215 11137
/proc/meminfo: memFree=24875124/32951124 swapFree=67063556/67111528
[pid=11012] ppid=11010 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/11012/stat : 11012 (java) Z 11010 11012 8879 0 -1 4203548 954154 0 1 0 179902 113 0 0 17 0 2 0 877688183 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11012/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.78
CPU time (s): 1800.22
CPU user time (s): 1799.02
CPU system time (s): 1.19982
CPU usage (%): 100.415
Max. virtual memory (cumulated for all children) (KiB): 10554548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.19982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 954154
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= 40631
involuntary context switches= 28281
runsolver used 2.81357 second user time and 6.98294 second system time
The end