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-3457546-1307223134/watcher-3457546-1307223134 -o /tmp/evaluation-result-3457546-1307223134/solver-3457546-1307223134 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457546-1307223134.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.89 2.01 1.99 3/545 25727
/proc/meminfo: memFree=21363800/32951124 swapFree=56241860/67111528
[pid=25727] ppid=25725 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24779 0 -1 4202496 5816 0 1 0 0 0 0 0 18 0 2 0 912544041 10694979584 5519 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/25727/statm: 2611079 5533 917 9 0 2602235 0
[pid=25727/tid=25728] ppid=25725 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) R 25725 25727 24779 0 -1 4202560 5436 0 1 0 0 0 0 0 19 0 2 0 912544042 10694979584 6253 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0823009 s]
/proc/loadavg: 1.89 2.01 1.99 3/545 25727
/proc/meminfo: memFree=21363800/32951124 swapFree=56241860/67111528
[pid=25727] ppid=25725 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24779 0 -1 4202496 11987 0 1 0 5 1 0 0 18 0 18 0 912544041 10724442112 11685 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25727/statm: 2618272 11686 1755 9 0 2609006 0
[pid=25727/tid=25728] ppid=25725 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) R 25725 25727 24779 0 -1 4202560 10815 0 1 0 5 1 0 0 18 0 18 0 912544042 10724442112 11686 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100293 s]
/proc/loadavg: 1.89 2.01 1.99 3/545 25727
/proc/meminfo: memFree=21363800/32951124 swapFree=56241860/67111528
[pid=25727] ppid=25725 vsize=10540112 CPUtime=0.1 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24779 0 -1 4202496 12999 0 1 0 9 1 0 0 18 0 18 0 912544041 10793074688 12697 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25727/statm: 2635028 12698 2092 9 0 2625762 0
[pid=25727/tid=25728] ppid=25725 vsize=10540112 CPUtime=0.08 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) R 25725 25727 24779 0 -1 4202560 11113 0 1 0 7 1 0 0 18 0 18 0 912544042 10793074688 12699 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 47503256756995 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540112
[startup+0.300265 s]
/proc/loadavg: 1.89 2.01 1.99 3/545 25727
/proc/meminfo: memFree=21363800/32951124 swapFree=56241860/67111528
[pid=25727] ppid=25725 vsize=10544228 CPUtime=0.5 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24779 0 -1 4202496 17097 0 1 0 48 2 0 0 18 0 19 0 912544041 10797289472 16349 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25727/statm: 2636057 16356 2205 9 0 2626791 0
[pid=25727/tid=25728] ppid=25725 vsize=10544228 CPUtime=0.27 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) R 25725 25727 24779 0 -1 4202560 13746 0 1 0 26 1 0 0 19 0 19 0 912544042 10797289472 16360 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 46912505576787 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10544228
[startup+0.70016 s]
/proc/loadavg: 1.89 2.01 1.99 3/545 25727
/proc/meminfo: memFree=21363800/32951124 swapFree=56241860/67111528
[pid=25727] ppid=25725 vsize=10558952 CPUtime=1.57 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24779 0 -1 4202496 56677 0 1 0 149 8 0 0 18 0 19 0 912544041 10812366848 53191 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25727/statm: 2639738 53198 2221 9 0 2630472 0
[pid=25727/tid=25728] ppid=25725 vsize=10558952 CPUtime=0.68 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) R 25725 25727 24779 0 -1 4202560 44411 0 1 0 62 6 0 0 19 0 19 0 912544042 10812366848 53201 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 46912505576787 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 10558952
[startup+1.50107 s]
/proc/loadavg: 1.89 2.01 1.99 3/564 25746
/proc/meminfo: memFree=21039708/32951124 swapFree=56241860/67111528
[pid=25727] ppid=25725 vsize=10558952 CPUtime=2.69 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24779 0 -1 4202496 130690 0 1 0 252 17 0 0 18 0 19 0 912544041 10812366848 127203 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25727/statm: 2639738 127210 2225 9 0 2630472 0
[pid=25727/tid=25728] ppid=25725 vsize=10558952 CPUtime=1.48 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) R 25725 25727 24779 0 -1 4202560 118388 0 1 0 133 15 0 0 21 0 19 0 912544042 10812366848 127213 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 46912505597820 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25727/tid=25730] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912544044 10812366848 127214 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25731] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912544044 10812366848 127215 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25732] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912544044 10812366848 127217 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25733] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912544044 10812366848 127219 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25734] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912544044 10812366848 127220 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25735] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912544044 10812366848 127221 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25736] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912544044 10812366848 127223 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25737] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912544044 10812366848 127224 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25738] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24779 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912544045 10812366848 127225 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 0 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25739] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24779 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 912544045 10812366848 127227 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25740] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24779 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912544045 10812366848 127228 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25741] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912544047 10812366848 127230 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216747002289 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25742] ppid=25725 vsize=10558952 CPUtime=0.61 cores=1,3,5,7
/proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24779 0 -1 4202560 5775 0 0 0 60 1 0 0 22 0 19 0 912544047 10812366848 127231 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25743] ppid=25725 vsize=10558952 CPUtime=0.57 cores=1,3,5,7
/proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24779 0 -1 4202560 5378 0 0 0 57 0 0 0 15 0 19 0 912544047 10812366848 127232 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 3 0 0 0
[pid=25727/tid=25744] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912544047 10812366848 127233 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25745] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912544047 10812366848 127236 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 4 0 16800975 18446604470322430400 0 0 -1 3 0 0 0
[pid=25727/tid=25746] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25746/stat : 25746 (java) S 25725 25727 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912544061 10812366848 127240 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 10558952
[startup+3.10079 s]
/proc/loadavg: 1.89 2.01 1.99 3/564 25746
/proc/meminfo: memFree=20649704/32951124 swapFree=56241860/67111528
[pid=25727] ppid=25725 vsize=10558952 CPUtime=4.31 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24779 0 -1 4202496 260635 0 1 0 398 33 0 0 18 0 19 0 912544041 10812366848 257147 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25727/statm: 2639738 257149 2225 9 0 2630472 0
[pid=25727/tid=25728] ppid=25725 vsize=10558952 CPUtime=3.08 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) R 25725 25727 24779 0 -1 4202560 248322 0 1 0 277 31 0 0 18 0 19 0 912544042 10812366848 257151 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 46912505597824 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25727/tid=25730] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912544044 10812366848 257152 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25731] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912544044 10812366848 257153 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25732] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912544044 10812366848 257155 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25733] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912544044 10812366848 257156 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25734] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912544044 10812366848 257158 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25735] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912544044 10812366848 257159 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25736] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912544044 10812366848 257161 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25737] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912544044 10812366848 257162 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25738] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24779 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912544045 10812366848 257164 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 0 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25739] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24779 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 912544045 10812366848 257165 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25740] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24779 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912544045 10812366848 257167 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25741] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912544047 10812366848 257168 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216747002289 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25742] ppid=25725 vsize=10558952 CPUtime=0.64 cores=1,3,5,7
/proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24779 0 -1 4202560 5780 0 0 0 63 1 0 0 15 0 19 0 912544047 10812366848 257170 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25743] ppid=25725 vsize=10558952 CPUtime=0.58 cores=1,3,5,7
/proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24779 0 -1 4202560 5378 0 0 0 58 0 0 0 15 0 19 0 912544047 10812366848 257171 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 3 0 0 0
[pid=25727/tid=25744] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912544047 10812366848 257173 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25745] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912544047 10812366848 257174 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 4 0 16800975 18446604470322430400 0 0 -1 3 0 0 0
[pid=25727/tid=25746] ppid=25725 vsize=10558952 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25746/stat : 25746 (java) S 25725 25727 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912544061 10812366848 257176 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 10558952
[startup+6.314 s]
/proc/loadavg: 1.90 2.01 1.99 3/564 25746
/proc/meminfo: memFree=19688296/32951124 swapFree=56241860/67111528
[pid=25727] ppid=25725 vsize=10552272 CPUtime=7.56 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24779 0 -1 4202496 491262 0 1 0 696 60 0 0 18 0 19 0 912544041 10805526528 486072 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25727/statm: 2638068 486075 2227 9 0 2628802 0
[pid=25727/tid=25728] ppid=25725 vsize=10552272 CPUtime=6.29 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) R 25725 25727 24779 0 -1 4202560 478944 0 1 0 571 58 0 0 25 0 19 0 912544042 10805526528 486077 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 46912505597125 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25727/tid=25730] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912544044 10805526528 486079 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25731] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912544044 10805526528 486082 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25732] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912544044 10805526528 486084 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25733] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912544044 10805526528 486086 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25734] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912544044 10805526528 486088 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25735] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912544044 10805526528 486091 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25736] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912544044 10805526528 486093 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25737] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912544044 10805526528 486095 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25738] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24779 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 912544045 10805526528 486097 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 0 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25739] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24779 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 912544045 10805526528 486099 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25740] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24779 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912544045 10805526528 486101 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25741] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912544047 10805526528 486103 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216747002289 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25742] ppid=25725 vsize=10552272 CPUtime=0.67 cores=1,3,5,7
/proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24779 0 -1 4202560 5784 0 0 0 66 1 0 0 15 0 19 0 912544047 10805526528 486104 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25743] ppid=25725 vsize=10552272 CPUtime=0.58 cores=1,3,5,7
/proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24779 0 -1 4202560 5378 0 0 0 58 0 0 0 15 0 19 0 912544047 10805526528 486106 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24779 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912544045 10805526528 915996 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25740] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24779 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912544045 10805526528 915996 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25741] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912544047 10805526528 915996 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216747002289 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25742] ppid=25725 vsize=10552272 CPUtime=1.17 cores=1,3,5,7
/proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24779 0 -1 4202560 11543 0 0 0 115 2 0 0 16 0 19 0 912544047 10805526528 915996 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 5 0 0 0
[pid=25727/tid=25743] ppid=25725 vsize=10552272 CPUtime=0.65 cores=1,3,5,7
/proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24779 0 -1 4202560 5406 0 0 0 65 0 0 0 15 0 19 0 912544047 10805526528 915996 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 3 0 0 0
[pid=25727/tid=25744] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912544047 10805526528 915996 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25745] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24779 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 912544047 10805526528 915996 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 4 0 16800975 18446604470322430400 0 0 -1 5 0 0 0
[pid=25727/tid=25746] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25746/stat : 25746 (java) S 25725 25727 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912544061 10805526528 915996 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1665.82
Current children cumulated vsize (KiB) 10552272
[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/564 25795
/proc/meminfo: memFree=17524528/32951124 swapFree=56241860/67111528
[pid=25727] ppid=25725 vsize=10552272 CPUtime=1725.88 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24779 0 -1 4202496 929384 0 1 0 172475 113 0 0 18 0 19 0 912544041 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25727/statm: 2638068 916891 2256 9 0 2628802 0
[pid=25727/tid=25728] ppid=25725 vsize=10552272 CPUtime=1720.98 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) R 25725 25727 24779 0 -1 4202560 842019 0 1 0 171998 100 0 0 25 0 19 0 912544042 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 46912505719869 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25727/tid=25730] ppid=25725 vsize=10552272 CPUtime=0.37 cores=1,3,5,7
/proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24779 0 -1 4202560 10874 0 0 0 36 1 0 0 15 0 19 0 912544044 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25731] ppid=25725 vsize=10552272 CPUtime=0.35 cores=1,3,5,7
/proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24779 0 -1 4202560 8054 0 0 0 34 1 0 0 16 0 19 0 912544044 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25732] ppid=25725 vsize=10552272 CPUtime=0.32 cores=1,3,5,7
/proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24779 0 -1 4202560 8638 0 0 0 32 0 0 0 15 0 19 0 912544044 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 5 0 0 0
[pid=25727/tid=25733] ppid=25725 vsize=10552272 CPUtime=0.36 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24779 0 -1 4202560 6682 0 0 0 36 0 0 0 15 0 19 0 912544044 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25734] ppid=25725 vsize=10552272 CPUtime=0.32 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24779 0 -1 4202560 8978 0 0 0 31 1 0 0 15 0 19 0 912544044 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25735] ppid=25725 vsize=10552272 CPUtime=0.33 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24779 0 -1 4202560 8691 0 0 0 33 0 0 0 15 0 19 0 912544044 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 5 0 0 0
[pid=25727/tid=25736] ppid=25725 vsize=10552272 CPUtime=0.38 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24779 0 -1 4202560 8552 0 0 0 37 1 0 0 15 0 19 0 912544044 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 5 0 0 0
[pid=25727/tid=25737] ppid=25725 vsize=10552272 CPUtime=0.33 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24779 0 -1 4202560 8182 0 0 0 33 0 0 0 16 0 19 0 912544044 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25738] ppid=25725 vsize=10552272 CPUtime=0.19 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24779 0 -1 4202560 514 0 0 0 18 1 0 0 15 0 19 0 912544045 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 0 0 16800975 18446604470322430400 0 0 -1 3 0 0 0
[pid=25727/tid=25739] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24779 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912544045 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25740] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24779 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912544045 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25741] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912544047 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216747002289 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25742] ppid=25725 vsize=10552272 CPUtime=1.17 cores=1,3,5,7
/proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24779 0 -1 4202560 11543 0 0 0 115 2 0 0 16 0 19 0 912544047 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 5 0 0 0
[pid=25727/tid=25743] ppid=25725 vsize=10552272 CPUtime=0.65 cores=1,3,5,7
/proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24779 0 -1 4202560 5406 0 0 0 65 0 0 0 15 0 19 0 912544047 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 3 0 0 0
[pid=25727/tid=25744] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912544047 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25745] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24779 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 912544047 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 4 0 16800975 18446604470322430400 0 0 -1 5 0 0 0
[pid=25727/tid=25746] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25746/stat : 25746 (java) S 25725 25727 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912544061 10805526528 916891 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.88
Current children cumulated vsize (KiB) 10552272
[startup+1782.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/564 25900
/proc/meminfo: memFree=18492660/32951124 swapFree=56241860/67111528
[pid=25727] ppid=25725 vsize=10552272 CPUtime=1785.93 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24779 0 -1 4202496 929909 0 1 0 178480 113 0 0 18 0 19 0 912544041 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25727/statm: 2638068 917394 2256 9 0 2628802 0
[pid=25727/tid=25728] ppid=25725 vsize=10552272 CPUtime=1780.95 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) R 25725 25727 24779 0 -1 4202560 842022 0 1 0 177995 100 0 0 25 0 19 0 912544042 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 46912505550262 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25727/tid=25730] ppid=25725 vsize=10552272 CPUtime=0.39 cores=1,3,5,7
/proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24779 0 -1 4202560 10977 0 0 0 38 1 0 0 16 0 19 0 912544044 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25731] ppid=25725 vsize=10552272 CPUtime=0.37 cores=1,3,5,7
/proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24779 0 -1 4202560 8124 0 0 0 36 1 0 0 16 0 19 0 912544044 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25732] ppid=25725 vsize=10552272 CPUtime=0.34 cores=1,3,5,7
/proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24779 0 -1 4202560 8740 0 0 0 34 0 0 0 16 0 19 0 912544044 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 3 0 0 0
[pid=25727/tid=25733] ppid=25725 vsize=10552272 CPUtime=0.36 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24779 0 -1 4202560 6682 0 0 0 36 0 0 0 15 0 19 0 912544044 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25734] ppid=25725 vsize=10552272 CPUtime=0.32 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24779 0 -1 4202560 8978 0 0 0 31 1 0 0 15 0 19 0 912544044 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25735] ppid=25725 vsize=10552272 CPUtime=0.34 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24779 0 -1 4202560 8768 0 0 0 34 0 0 0 15 0 19 0 912544044 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25736] ppid=25725 vsize=10552272 CPUtime=0.4 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24779 0 -1 4202560 8689 0 0 0 39 1 0 0 16 0 19 0 912544044 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 5 0 0 0
[pid=25727/tid=25737] ppid=25725 vsize=10552272 CPUtime=0.34 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24779 0 -1 4202560 8211 0 0 0 34 0 0 0 15 0 19 0 912544044 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25738] ppid=25725 vsize=10552272 CPUtime=0.19 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24779 0 -1 4202560 516 0 0 0 18 1 0 0 15 0 19 0 912544045 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 0 0 16800975 18446604470322430400 0 0 -1 3 0 0 0
[pid=25727/tid=25739] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24779 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912544045 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25740] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24779 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912544045 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25741] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912544047 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216747002289 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25742] ppid=25725 vsize=10552272 CPUtime=1.17 cores=1,3,5,7
/proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24779 0 -1 4202560 11543 0 0 0 115 2 0 0 16 0 19 0 912544047 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 5 0 0 0
[pid=25727/tid=25743] ppid=25725 vsize=10552272 CPUtime=0.65 cores=1,3,5,7
/proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24779 0 -1 4202560 5406 0 0 0 65 0 0 0 15 0 19 0 912544047 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 3 0 0 0
[pid=25727/tid=25744] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912544047 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25745] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24779 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 912544047 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 4 0 16800975 18446604470322430400 0 0 -1 5 0 0 0
[pid=25727/tid=25746] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25746/stat : 25746 (java) S 25725 25727 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912544061 10805526528 917394 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1785.93
Current children cumulated vsize (KiB) 10552272
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.4 s]
/proc/loadavg: 2.07 2.05 2.00 3/564 25900
/proc/meminfo: memFree=18432736/32951124 swapFree=56241860/67111528
[pid=25727] ppid=25725 vsize=10552272 CPUtime=1800.07 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24779 0 -1 4202496 930105 0 1 0 179894 113 0 0 18 0 19 0 912544041 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25727/statm: 2638068 917579 2256 9 0 2628802 0
[pid=25727/tid=25728] ppid=25725 vsize=10552272 CPUtime=1795.06 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) R 25725 25727 24779 0 -1 4202560 842023 0 1 0 179406 100 0 0 25 0 19 0 912544042 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 46912505530483 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25727/tid=25730] ppid=25725 vsize=10552272 CPUtime=0.39 cores=1,3,5,7
/proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24779 0 -1 4202560 10977 0 0 0 38 1 0 0 15 0 19 0 912544044 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25731] ppid=25725 vsize=10552272 CPUtime=0.37 cores=1,3,5,7
/proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24779 0 -1 4202560 8124 0 0 0 36 1 0 0 15 0 19 0 912544044 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25732] ppid=25725 vsize=10552272 CPUtime=0.34 cores=1,3,5,7
/proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24779 0 -1 4202560 8740 0 0 0 34 0 0 0 15 0 19 0 912544044 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25733] ppid=25725 vsize=10552272 CPUtime=0.37 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24779 0 -1 4202560 6767 0 0 0 37 0 0 0 16 0 19 0 912544044 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25734] ppid=25725 vsize=10552272 CPUtime=0.32 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24779 0 -1 4202560 9056 0 0 0 31 1 0 0 16 0 19 0 912544044 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25735] ppid=25725 vsize=10552272 CPUtime=0.35 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24779 0 -1 4202560 8798 0 0 0 35 0 0 0 16 0 19 0 912544044 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25736] ppid=25725 vsize=10552272 CPUtime=0.4 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24779 0 -1 4202560 8689 0 0 0 39 1 0 0 15 0 19 0 912544044 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 5 0 0 0
[pid=25727/tid=25737] ppid=25725 vsize=10552272 CPUtime=0.34 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24779 0 -1 4202560 8211 0 0 0 34 0 0 0 15 0 19 0 912544044 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25738] ppid=25725 vsize=10552272 CPUtime=0.19 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24779 0 -1 4202560 516 0 0 0 18 1 0 0 15 0 19 0 912544045 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 0 0 16800975 18446604470322430400 0 0 -1 3 0 0 0
[pid=25727/tid=25739] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24779 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912544045 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25740] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24779 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912544045 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
[pid=25727/tid=25741] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912544047 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216747002289 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25742] ppid=25725 vsize=10552272 CPUtime=1.17 cores=1,3,5,7
/proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24779 0 -1 4202560 11543 0 0 0 115 2 0 0 16 0 19 0 912544047 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 5 0 0 0
[pid=25727/tid=25743] ppid=25725 vsize=10552272 CPUtime=0.65 cores=1,3,5,7
/proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24779 0 -1 4202560 5406 0 0 0 65 0 0 0 15 0 19 0 912544047 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 3 0 0 0
[pid=25727/tid=25744] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912544047 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746994585 0 4 0 16800975 18446604470322430400 0 0 -1 1 0 0 0
[pid=25727/tid=25745] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24779 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 912544047 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 4 0 16800975 18446604470322430400 0 0 -1 5 0 0 0
[pid=25727/tid=25746] ppid=25725 vsize=10552272 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25746/stat : 25746 (java) S 25725 25727 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912544061 10805526528 917579 33554432000 1073741824 1073778376 140736457248608 18446744073709551615 216746995200 0 4 0 16800975 18446604470322430400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10552272
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.53 s]
/proc/loadavg: 2.07 2.05 2.00 3/564 25900
/proc/meminfo: memFree=18432736/32951124 swapFree=56241860/67111528
[pid=25727] ppid=25725 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/25727/stat : 25727 (java) Z 25725 25727 24779 0 -1 4203548 930135 0 1 0 179897 122 0 0 17 0 2 0 912544041 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25727/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.58
CPU time (s): 1800.25
CPU user time (s): 1798.97
CPU system time (s): 1.2828
CPU usage (%): 100.204
Max. virtual memory (cumulated for all children) (KiB): 10558952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.2828
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 930135
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= 39874
involuntary context switches= 5370
runsolver used 9.60654 second user time and 23.0965 second system time
The end