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-3458935-1307149306/watcher-3458935-1307149306 -o /tmp/evaluation-result-3458935-1307149306/solver-3458935-1307149306 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458935-1307149306.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.02 2.08 1.94 1/528 1783
/proc/meminfo: memFree=15246296/32951132 swapFree=46579808/67111528
[pid=1783] ppid=1781 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1781 1783 32282 0 -1 4202496 236 0 0 0 0 0 0 0 17 0 1 0 826529271 9318400 171 33554432000 1073741824 1073778376 140734047112624 18446744073709551615 242970371063 0 2147483391 4096 0 18446744071699109054 0 0 17 1 0 0 0
/proc/1783/statm: 2275 171 131 9 0 67 0
[pid=1783/tid=1784] ppid=1781 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1784/stat : 1784 (java) R 1781 1783 32282 0 -1 4202560 5640 0 1 0 0 0 0 0 18 0 2 0 826529272 13850947584 6455 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.073553 s]
/proc/loadavg: 2.02 2.08 1.94 1/528 1783
/proc/meminfo: memFree=15246296/32951132 swapFree=46579808/67111528
[pid=1783] ppid=1781 vsize=13554952 CPUtime=0.06 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1781 1783 32282 0 -1 4202496 14248 0 1 0 5 1 0 0 17 0 18 0 826529271 13880270848 13944 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1783/statm: 3388738 13944 1741 9 0 3379472 0
[pid=1783/tid=1784] ppid=1781 vsize=13554952 CPUtime=0.05 cores=1,3,5,7
/proc/1783/task/1784/stat : 1784 (java) R 1781 1783 32282 0 -1 4202560 13074 0 1 0 5 0 0 0 25 0 18 0 826529272 13880270848 13944 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 47601218281642 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13554952
[startup+0.10056 s]
/proc/loadavg: 2.02 2.08 1.94 1/528 1783
/proc/meminfo: memFree=15246296/32951132 swapFree=46579808/67111528
[pid=1783] ppid=1781 vsize=13621728 CPUtime=0.1 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1781 1783 32282 0 -1 4202496 15486 0 1 0 9 1 0 0 17 0 18 0 826529271 13948649472 15143 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1783/statm: 3405432 15144 2093 9 0 3396166 0
[pid=1783/tid=1784] ppid=1781 vsize=13621728 CPUtime=0.09 cores=1,3,5,7
/proc/1783/task/1784/stat : 1784 (java) R 1781 1783 32282 0 -1 4202560 13534 0 1 0 8 1 0 0 25 0 18 0 826529272 13948649472 15144 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 47601217536771 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621728
[startup+0.300529 s]
/proc/loadavg: 2.02 2.08 1.94 1/528 1783
/proc/meminfo: memFree=15246296/32951132 swapFree=46579808/67111528
[pid=1783] ppid=1781 vsize=13623492 CPUtime=0.46 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1781 1783 32282 0 -1 4202496 23443 0 1 0 44 2 0 0 17 0 18 0 826529271 13950455808 22490 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1783/statm: 3405873 22493 2200 9 0 3396607 0
[pid=1783/tid=1784] ppid=1781 vsize=13623492 CPUtime=0.28 cores=1,3,5,7
/proc/1783/task/1784/stat : 1784 (java) R 1781 1783 32282 0 -1 4202560 19881 0 1 0 26 2 0 0 25 0 18 0 826529272 13950455808 22495 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 46912505574795 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13623492
[startup+0.700462 s]
/proc/loadavg: 2.02 2.08 1.94 1/528 1783
/proc/meminfo: memFree=15246296/32951132 swapFree=46579808/67111528
[pid=1783] ppid=1781 vsize=13623628 CPUtime=1.03 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1781 1783 32282 0 -1 4202496 53671 0 1 0 97 6 0 0 17 0 18 0 826529271 13950595072 52718 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1783/statm: 3405907 52722 2205 9 0 3396641 0
[pid=1783/tid=1784] ppid=1781 vsize=13623628 CPUtime=0.68 cores=1,3,5,7
/proc/1783/task/1784/stat : 1784 (java) R 1781 1783 32282 0 -1 4202560 50022 0 1 0 63 5 0 0 25 0 18 0 826529272 13950595072 52724 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 46912505572165 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 13623628
[startup+1.50132 s]
/proc/loadavg: 2.02 2.08 1.94 2/546 1801
/proc/meminfo: memFree=14919420/32951132 swapFree=46579808/67111528
[pid=1783] ppid=1781 vsize=13623628 CPUtime=1.84 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1781 1783 32282 0 -1 4202496 127448 0 1 0 169 15 0 0 17 0 18 0 826529271 13950595072 126495 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1783/statm: 3405907 126498 2205 9 0 3396641 0
[pid=1783/tid=1784] ppid=1781 vsize=13623628 CPUtime=1.48 cores=1,3,5,7
/proc/1783/task/1784/stat : 1784 (java) R 1781 1783 32282 0 -1 4202560 123798 0 1 0 134 14 0 0 25 0 18 0 826529272 13950595072 126500 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 46912505634375 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1783/tid=1786] ppid=1781 vsize=13623628 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1786/stat : 1786 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 826529274 13950595072 126502 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1787] ppid=1781 vsize=13623628 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1787/stat : 1787 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 826529274 13950595072 126504 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1788] ppid=1781 vsize=13623628 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1788/stat : 1788 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 826529274 13950595072 126506 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1789] ppid=1781 vsize=13623628 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1789/stat : 1789 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 826529274 13950595072 126508 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1790] ppid=1781 vsize=13623628 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1790/stat : 1790 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 826529274 13950595072 126510 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1791] ppid=1781 vsize=13623628 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1791/stat : 1791 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 826529274 13950595072 126512 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1792] ppid=1781 vsize=13623628 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1792/stat : 1792 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 826529274 13950595072 126514 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1793] ppid=1781 vsize=13623628 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1793/stat : 1793 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 826529274 13950595072 126517 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1794] ppid=1781 vsize=13623628 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1794/stat : 1794 (java) S 1781 1783 32282 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 826529275 13950595072 126518 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 0 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1795] ppid=1781 vsize=13623628 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1795/stat : 1795 (java) S 1781 1783 32282 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 826529275 13950595072 126520 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1796] ppid=1781 vsize=13623628 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1796/stat : 1796 (java) S 1781 1783 32282 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 826529275 13950595072 126523 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1797] ppid=1781 vsize=13623628 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1797/stat : 1797 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826529278 13950595072 126525 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982373809 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1798] ppid=1781 vsize=13623628 CPUtime=0.18 cores=1,3,5,7
/proc/1783/task/1798/stat : 1798 (java) S 1781 1783 32282 0 -1 4202560 1525 0 0 0 18 0 0 0 16 0 18 0 826529278 13950595072 126526 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1799] ppid=1781 vsize=13623628 CPUtime=0.15 cores=1,3,5,7
/proc/1783/task/1799/stat : 1799 (java) S 1781 1783 32282 0 -1 4202560 980 0 0 0 15 0 0 0 15 0 18 0 826529278 13950595072 126529 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1800] ppid=1781 vsize=13623628 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1800/stat : 1800 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826529278 13950595072 126531 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1801] ppid=1781 vsize=13623628 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1801/stat : 1801 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826529278 13950595072 126533 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 13623628
[startup+3.10104 s]
/proc/loadavg: 2.02 2.08 1.94 5/567 1847
/proc/meminfo: memFree=14622148/32951132 swapFree=46579808/67111528
[pid=1783] ppid=1781 vsize=13625900 CPUtime=3.83 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1781 1783 32282 0 -1 4202496 137873 0 1 0 367 16 0 0 17 0 19 0 826529271 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1783/statm: 3406475 135797 2224 9 0 3397209 0
[pid=1783/tid=1784] ppid=1781 vsize=13625900 CPUtime=3.08 cores=1,3,5,7
/proc/1783/task/1784/stat : 1784 (java) R 1781 1783 32282 0 -1 4202560 132592 0 1 0 293 15 0 0 25 0 19 0 826529272 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 46912505757758 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1783/tid=1786] ppid=1781 vsize=13625900 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1786/stat : 1786 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826529274 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1787] ppid=1781 vsize=13625900 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1787/stat : 1787 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826529274 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1788] ppid=1781 vsize=13625900 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1788/stat : 1788 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826529274 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1789] ppid=1781 vsize=13625900 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1789/stat : 1789 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826529274 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1790] ppid=1781 vsize=13625900 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1790/stat : 1790 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826529274 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1791] ppid=1781 vsize=13625900 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1791/stat : 1791 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826529274 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1792] ppid=1781 vsize=13625900 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1792/stat : 1792 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826529274 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1793] ppid=1781 vsize=13625900 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1793/stat : 1793 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826529274 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1794] ppid=1781 vsize=13625900 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1794/stat : 1794 (java) S 1781 1783 32282 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826529275 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 0 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1795] ppid=1781 vsize=13625900 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1795/stat : 1795 (java) S 1781 1783 32282 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 826529275 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1796] ppid=1781 vsize=13625900 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1796/stat : 1796 (java) S 1781 1783 32282 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 826529275 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1797] ppid=1781 vsize=13625900 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1797/stat : 1797 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826529278 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982373809 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1798] ppid=1781 vsize=13625900 CPUtime=0.4 cores=1,3,5,7
/proc/1783/task/1798/stat : 1798 (java) S 1781 1783 32282 0 -1 4202560 2328 0 0 0 40 0 0 0 15 0 19 0 826529278 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1799] ppid=1781 vsize=13625900 CPUtime=0.33 cores=1,3,5,7
/proc/1783/task/1799/stat : 1799 (java) S 1781 1783 32282 0 -1 4202560 1793 0 0 0 33 0 0 0 15 0 19 0 826529278 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1800] ppid=1781 vsize=13625900 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1800/stat : 1800 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826529278 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1801] ppid=1781 vsize=13625900 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1801/stat : 1801 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826529278 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1846] ppid=1781 vsize=13625900 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1846/stat : 1846 (java) S 1781 1783 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826529447 13952921600 135797 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 13625900
[startup+6.30149 s]
/proc/loadavg: 2.18 2.11 1.95 4/567 1847
/proc/meminfo: memFree=14603672/32951132 swapFree=46579808/67111528
[pid=1783] ppid=1781 vsize=13624348 CPUtime=7.1 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1781 1783 32282 0 -1 4202496 138650 0 1 0 694 16 0 0 17 0 19 0 826529271 13951332352 135973 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1783/statm: 3406087 135973 2226 9 0 3396821 0
[pid=1783/tid=1784] ppid=1781 vsize=13624348 CPUtime=6.28 cores=1,3,5,7
/proc/1783/task/1784/stat : 1784 (java) R 1781 1783 32282 0 -1 4202560 133110 0 1 0 613 15 0 0 25 0 19 0 826529272 13951332352 135973 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 46912505651377 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1783/tid=1786] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1786/stat : 1786 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826529274 13951332352 135973 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1787] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1787/stat : 1787 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826529274 13951332352 135973 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1788] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1788/stat : 1788 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826529274 13951332352 135973 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1789] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1789/stat : 1789 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826529274 13951332352 135973 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1790] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1790/stat : 1790 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826529274 13951332352 135973 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1791] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1791/stat : 1791 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826529274 13951332352 135973 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1792] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1792/stat : 1792 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826529274 13951332352 135973 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1793] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1793/stat : 1793 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826529274 13951332352 135973 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1794] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1794/stat : 1794 (java) S 1781 1783 32282 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 826529275 13951332352 135973 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 0 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1795] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1795/stat : 1795 (java) S 1781 1783 32282 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 826529275 13951332352 135973 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1796] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1796/stat : 1796 (java) S 1781 1783 32282 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 826529275 13951332352 135973 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1797] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1797/stat : 1797 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826529278 13951332352 135973 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982373809 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1798] ppid=1781 vsize=13624348 CPUtime=0.47 cores=1,3,5,7
/proc/1783/task/1798/stat : 1798 (java) S 1781 1783 32282 0 -1 4202560 2586 0 0 0 47 0 0 0 15 0 19 0 826529278 13951332352 135973 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1799] ppid=1781 vsize=13624348 CPUtime=0.33 cores=1,3,5,7
/proc/1783/task/1799/stat : 1799 (java) S 1781 1783 32282 0 -1 4202560 1793 0 0 0 33 0 0 0 15 0 19 0 826529278 13951332352 135973 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1800] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1800/stat : 1800 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826529278 13951332352 135973 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=1783/tid=1791] ppid=1781 vsize=13624348 CPUtime=0.26 cores=1,3,5,7
/proc/1783/task/1791/stat : 1791 (java) S 1781 1783 32282 0 -1 4202560 710 0 0 0 26 0 0 0 16 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1792] ppid=1781 vsize=13624348 CPUtime=0.24 cores=1,3,5,7
/proc/1783/task/1792/stat : 1792 (java) S 1781 1783 32282 0 -1 4202560 7262 0 0 0 23 1 0 0 15 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1793] ppid=1781 vsize=13624348 CPUtime=0.23 cores=1,3,5,7
/proc/1783/task/1793/stat : 1793 (java) S 1781 1783 32282 0 -1 4202560 1917 0 0 0 23 0 0 0 15 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1794] ppid=1781 vsize=13624348 CPUtime=18.17 cores=1,3,5,7
/proc/1783/task/1794/stat : 1794 (java) S 1781 1783 32282 0 -1 4202560 38823 0 0 0 1812 5 0 0 15 0 19 0 826529275 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 0 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1795] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1795/stat : 1795 (java) S 1781 1783 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826529275 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1796] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1796/stat : 1796 (java) S 1781 1783 32282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826529275 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1797] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1797/stat : 1797 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982373809 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1798] ppid=1781 vsize=13624348 CPUtime=0.71 cores=1,3,5,7
/proc/1783/task/1798/stat : 1798 (java) S 1781 1783 32282 0 -1 4202560 5066 0 0 0 71 0 0 0 15 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1799] ppid=1781 vsize=13624348 CPUtime=0.36 cores=1,3,5,7
/proc/1783/task/1799/stat : 1799 (java) S 1781 1783 32282 0 -1 4202560 1800 0 0 0 36 0 0 0 16 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1800] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1800/stat : 1800 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1801] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1801/stat : 1801 (java) S 1781 1783 32282 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281024 0 0 -1 5 0 0 0
[pid=1783/tid=1846] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1846/stat : 1846 (java) S 1781 1783 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826529447 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1664.52
Current children cumulated vsize (KiB) 13624348
[startup+1722.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/567 1896
/proc/meminfo: memFree=14198456/32951132 swapFree=46579808/67111528
[pid=1783] ppid=1781 vsize=13624348 CPUtime=1724.52 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1781 1783 32282 0 -1 4202496 219193 0 1 0 172423 29 0 0 17 0 19 0 826529271 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1783/statm: 3406087 214055 2253 9 0 3396821 0
[pid=1783/tid=1784] ppid=1781 vsize=13624348 CPUtime=1703.16 cores=1,3,5,7
/proc/1783/task/1784/stat : 1784 (java) R 1781 1783 32282 0 -1 4202560 139326 0 1 0 170300 16 0 0 25 0 19 0 826529272 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 46912505903188 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1783/tid=1786] ppid=1781 vsize=13624348 CPUtime=0.27 cores=1,3,5,7
/proc/1783/task/1786/stat : 1786 (java) S 1781 1783 32282 0 -1 4202560 4509 0 0 0 27 0 0 0 15 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 5 0 0 0
[pid=1783/tid=1787] ppid=1781 vsize=13624348 CPUtime=0.22 cores=1,3,5,7
/proc/1783/task/1787/stat : 1787 (java) S 1781 1783 32282 0 -1 4202560 1016 0 0 0 22 0 0 0 16 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 5 0 0 0
[pid=1783/tid=1788] ppid=1781 vsize=13624348 CPUtime=0.26 cores=1,3,5,7
/proc/1783/task/1788/stat : 1788 (java) S 1781 1783 32282 0 -1 4202560 5572 0 0 0 26 0 0 0 15 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1789] ppid=1781 vsize=13624348 CPUtime=0.25 cores=1,3,5,7
/proc/1783/task/1789/stat : 1789 (java) S 1781 1783 32282 0 -1 4202560 4114 0 0 0 25 0 0 0 15 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1790] ppid=1781 vsize=13624348 CPUtime=0.28 cores=1,3,5,7
/proc/1783/task/1790/stat : 1790 (java) S 1781 1783 32282 0 -1 4202560 7827 0 0 0 27 1 0 0 16 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1791] ppid=1781 vsize=13624348 CPUtime=0.26 cores=1,3,5,7
/proc/1783/task/1791/stat : 1791 (java) S 1781 1783 32282 0 -1 4202560 710 0 0 0 26 0 0 0 16 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1792] ppid=1781 vsize=13624348 CPUtime=0.24 cores=1,3,5,7
/proc/1783/task/1792/stat : 1792 (java) S 1781 1783 32282 0 -1 4202560 7262 0 0 0 23 1 0 0 15 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1793] ppid=1781 vsize=13624348 CPUtime=0.23 cores=1,3,5,7
/proc/1783/task/1793/stat : 1793 (java) S 1781 1783 32282 0 -1 4202560 1917 0 0 0 23 0 0 0 15 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1794] ppid=1781 vsize=13624348 CPUtime=18.17 cores=1,3,5,7
/proc/1783/task/1794/stat : 1794 (java) S 1781 1783 32282 0 -1 4202560 38823 0 0 0 1812 5 0 0 15 0 19 0 826529275 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 0 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1795] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1795/stat : 1795 (java) S 1781 1783 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826529275 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1796] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1796/stat : 1796 (java) S 1781 1783 32282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826529275 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1797] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1797/stat : 1797 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982373809 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1798] ppid=1781 vsize=13624348 CPUtime=0.71 cores=1,3,5,7
/proc/1783/task/1798/stat : 1798 (java) S 1781 1783 32282 0 -1 4202560 5066 0 0 0 71 0 0 0 15 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1799] ppid=1781 vsize=13624348 CPUtime=0.36 cores=1,3,5,7
/proc/1783/task/1799/stat : 1799 (java) S 1781 1783 32282 0 -1 4202560 1800 0 0 0 36 0 0 0 16 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1800] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1800/stat : 1800 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1801] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1801/stat : 1801 (java) S 1781 1783 32282 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281024 0 0 -1 5 0 0 0
[pid=1783/tid=1846] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1846/stat : 1846 (java) S 1781 1783 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826529447 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1724.52
Current children cumulated vsize (KiB) 13624348
[startup+1782.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/567 1896
/proc/meminfo: memFree=14197944/32951132 swapFree=46579808/67111528
[pid=1783] ppid=1781 vsize=13624348 CPUtime=1784.52 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1781 1783 32282 0 -1 4202496 219197 0 1 0 178423 29 0 0 17 0 19 0 826529271 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1783/statm: 3406087 214055 2253 9 0 3396821 0
[pid=1783/tid=1784] ppid=1781 vsize=13624348 CPUtime=1763.16 cores=1,3,5,7
/proc/1783/task/1784/stat : 1784 (java) R 1781 1783 32282 0 -1 4202560 139326 0 1 0 176300 16 0 0 25 0 19 0 826529272 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 46912505903188 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1783/tid=1786] ppid=1781 vsize=13624348 CPUtime=0.27 cores=1,3,5,7
/proc/1783/task/1786/stat : 1786 (java) S 1781 1783 32282 0 -1 4202560 4509 0 0 0 27 0 0 0 15 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 5 0 0 0
[pid=1783/tid=1787] ppid=1781 vsize=13624348 CPUtime=0.22 cores=1,3,5,7
/proc/1783/task/1787/stat : 1787 (java) S 1781 1783 32282 0 -1 4202560 1016 0 0 0 22 0 0 0 16 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 5 0 0 0
[pid=1783/tid=1788] ppid=1781 vsize=13624348 CPUtime=0.26 cores=1,3,5,7
/proc/1783/task/1788/stat : 1788 (java) S 1781 1783 32282 0 -1 4202560 5572 0 0 0 26 0 0 0 15 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1789] ppid=1781 vsize=13624348 CPUtime=0.25 cores=1,3,5,7
/proc/1783/task/1789/stat : 1789 (java) S 1781 1783 32282 0 -1 4202560 4114 0 0 0 25 0 0 0 15 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1790] ppid=1781 vsize=13624348 CPUtime=0.28 cores=1,3,5,7
/proc/1783/task/1790/stat : 1790 (java) S 1781 1783 32282 0 -1 4202560 7827 0 0 0 27 1 0 0 16 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1791] ppid=1781 vsize=13624348 CPUtime=0.26 cores=1,3,5,7
/proc/1783/task/1791/stat : 1791 (java) S 1781 1783 32282 0 -1 4202560 710 0 0 0 26 0 0 0 16 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1792] ppid=1781 vsize=13624348 CPUtime=0.24 cores=1,3,5,7
/proc/1783/task/1792/stat : 1792 (java) S 1781 1783 32282 0 -1 4202560 7262 0 0 0 23 1 0 0 15 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1793] ppid=1781 vsize=13624348 CPUtime=0.23 cores=1,3,5,7
/proc/1783/task/1793/stat : 1793 (java) S 1781 1783 32282 0 -1 4202560 1917 0 0 0 23 0 0 0 15 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1794] ppid=1781 vsize=13624348 CPUtime=18.17 cores=1,3,5,7
/proc/1783/task/1794/stat : 1794 (java) S 1781 1783 32282 0 -1 4202560 38823 0 0 0 1812 5 0 0 15 0 19 0 826529275 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 0 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1795] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1795/stat : 1795 (java) S 1781 1783 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826529275 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1796] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1796/stat : 1796 (java) S 1781 1783 32282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826529275 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1797] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1797/stat : 1797 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982373809 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1798] ppid=1781 vsize=13624348 CPUtime=0.71 cores=1,3,5,7
/proc/1783/task/1798/stat : 1798 (java) S 1781 1783 32282 0 -1 4202560 5066 0 0 0 71 0 0 0 15 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1799] ppid=1781 vsize=13624348 CPUtime=0.36 cores=1,3,5,7
/proc/1783/task/1799/stat : 1799 (java) S 1781 1783 32282 0 -1 4202560 1800 0 0 0 36 0 0 0 16 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1800] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1800/stat : 1800 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1801] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1801/stat : 1801 (java) S 1781 1783 32282 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281024 0 0 -1 5 0 0 0
[pid=1783/tid=1846] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1846/stat : 1846 (java) S 1781 1783 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826529447 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1784.52
Current children cumulated vsize (KiB) 13624348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.8 s]
/proc/loadavg: 2.18 2.08 2.02 3/567 1898
/proc/meminfo: memFree=14198064/32951132 swapFree=46579808/67111528
[pid=1783] ppid=1781 vsize=13624348 CPUtime=1800.02 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1781 1783 32282 0 -1 4202496 219197 0 1 0 179973 29 0 0 17 0 19 0 826529271 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1783/statm: 3406087 214055 2253 9 0 3396821 0
[pid=1783/tid=1784] ppid=1781 vsize=13624348 CPUtime=1778.68 cores=1,3,5,7
/proc/1783/task/1784/stat : 1784 (java) R 1781 1783 32282 0 -1 4202560 139326 0 1 0 177852 16 0 0 25 0 19 0 826529272 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 46912505903083 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1783/tid=1786] ppid=1781 vsize=13624348 CPUtime=0.27 cores=1,3,5,7
/proc/1783/task/1786/stat : 1786 (java) S 1781 1783 32282 0 -1 4202560 4509 0 0 0 27 0 0 0 15 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 5 0 0 0
[pid=1783/tid=1787] ppid=1781 vsize=13624348 CPUtime=0.22 cores=1,3,5,7
/proc/1783/task/1787/stat : 1787 (java) S 1781 1783 32282 0 -1 4202560 1016 0 0 0 22 0 0 0 16 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 5 0 0 0
[pid=1783/tid=1788] ppid=1781 vsize=13624348 CPUtime=0.26 cores=1,3,5,7
/proc/1783/task/1788/stat : 1788 (java) S 1781 1783 32282 0 -1 4202560 5572 0 0 0 26 0 0 0 15 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1789] ppid=1781 vsize=13624348 CPUtime=0.25 cores=1,3,5,7
/proc/1783/task/1789/stat : 1789 (java) S 1781 1783 32282 0 -1 4202560 4114 0 0 0 25 0 0 0 15 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1790] ppid=1781 vsize=13624348 CPUtime=0.28 cores=1,3,5,7
/proc/1783/task/1790/stat : 1790 (java) S 1781 1783 32282 0 -1 4202560 7827 0 0 0 27 1 0 0 16 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1791] ppid=1781 vsize=13624348 CPUtime=0.26 cores=1,3,5,7
/proc/1783/task/1791/stat : 1791 (java) S 1781 1783 32282 0 -1 4202560 710 0 0 0 26 0 0 0 16 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1792] ppid=1781 vsize=13624348 CPUtime=0.24 cores=1,3,5,7
/proc/1783/task/1792/stat : 1792 (java) S 1781 1783 32282 0 -1 4202560 7262 0 0 0 23 1 0 0 15 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1793] ppid=1781 vsize=13624348 CPUtime=0.23 cores=1,3,5,7
/proc/1783/task/1793/stat : 1793 (java) S 1781 1783 32282 0 -1 4202560 1917 0 0 0 23 0 0 0 15 0 19 0 826529274 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1794] ppid=1781 vsize=13624348 CPUtime=18.17 cores=1,3,5,7
/proc/1783/task/1794/stat : 1794 (java) S 1781 1783 32282 0 -1 4202560 38823 0 0 0 1812 5 0 0 15 0 19 0 826529275 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 0 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1795] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1795/stat : 1795 (java) S 1781 1783 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826529275 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1796] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1796/stat : 1796 (java) S 1781 1783 32282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826529275 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1797] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1797/stat : 1797 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982373809 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1798] ppid=1781 vsize=13624348 CPUtime=0.71 cores=1,3,5,7
/proc/1783/task/1798/stat : 1798 (java) S 1781 1783 32282 0 -1 4202560 5066 0 0 0 71 0 0 0 15 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
[pid=1783/tid=1799] ppid=1781 vsize=13624348 CPUtime=0.36 cores=1,3,5,7
/proc/1783/task/1799/stat : 1799 (java) S 1781 1783 32282 0 -1 4202560 1800 0 0 0 36 0 0 0 16 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 7 0 0 0
[pid=1783/tid=1800] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1800/stat : 1800 (java) S 1781 1783 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366105 0 4 0 16800975 18446604470261281024 0 0 -1 3 0 0 0
[pid=1783/tid=1801] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1801/stat : 1801 (java) S 1781 1783 32282 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 826529278 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281024 0 0 -1 5 0 0 0
[pid=1783/tid=1846] ppid=1781 vsize=13624348 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1846/stat : 1846 (java) S 1781 1783 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826529447 13951332352 214055 33554432000 1073741824 1073778376 140734563910208 18446744073709551615 242982366720 0 4 0 16800975 18446604470261281024 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13624348
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.89
CPU time (s): 1800.12
CPU user time (s): 1799.79
CPU system time (s): 0.328949
CPU usage (%): 100.124
Max. virtual memory (cumulated for all children) (KiB): 13625900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.328949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219239
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= 40035
involuntary context switches= 5019
runsolver used 9.32458 second user time and 22.8675 second system time
The end