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-3454018-1307195027/watcher-3454018-1307195027 -o /tmp/evaluation-result-3454018-1307195027/solver-3454018-1307195027 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454018-1307195027.opb
running on 4 cores: 0,2,4,6
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.45 2.77 3.29 3/530 1756
/proc/meminfo: memFree=21493624/32951124 swapFree=58800704/67111528
[pid=1756] ppid=1754 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/1756/stat : 1756 (java) R 1754 1756 30263 0 -1 4202496 926 0 0 0 0 0 0 0 22 0 1 0 811918179 23580672 670 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228090488597 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1756/statm: 5757 682 499 9 0 124 0
[pid=1756/tid=1758] ppid=1754 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1758/stat : 1758 (java) R 1754 1756 30263 0 -1 4202560 7352 0 1 0 0 0 0 0 24 0 2 0 811918179 10694979584 8168 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0411829 s]
/proc/loadavg: 1.45 2.77 3.29 3/530 1756
/proc/meminfo: memFree=21493624/32951124 swapFree=58800704/67111528
[pid=1756] ppid=1754 vsize=10533016 CPUtime=0.03 cores=0,2,4,6
/proc/1756/stat : 1756 (java) S 1754 1756 30263 0 -1 4202496 11190 0 1 0 2 1 0 0 22 0 13 0 811918179 10785808384 10887 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/1756/statm: 2633254 10888 1659 9 0 2624002 0
[pid=1756/tid=1758] ppid=1754 vsize=10533016 CPUtime=0.02 cores=0,2,4,6
/proc/1756/task/1758/stat : 1758 (java) R 1754 1756 30263 0 -1 4202560 10043 0 1 0 2 0 0 0 25 0 13 0 811918179 10785808384 10889 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 47398294319011 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10533016
[startup+0.101215 s]
/proc/loadavg: 1.45 2.77 3.29 3/530 1756
/proc/meminfo: memFree=21493624/32951124 swapFree=58800704/67111528
[pid=1756] ppid=1754 vsize=10540088 CPUtime=0.1 cores=0,2,4,6
/proc/1756/stat : 1756 (java) S 1754 1756 30263 0 -1 4202496 13086 0 1 0 9 1 0 0 22 0 18 0 811918179 10793050112 12759 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1756/statm: 2635022 12759 2092 9 0 2625756 0
[pid=1756/tid=1758] ppid=1754 vsize=10540088 CPUtime=0.09 cores=0,2,4,6
/proc/1756/task/1758/stat : 1758 (java) R 1754 1756 30263 0 -1 4202560 11188 0 1 0 8 1 0 0 18 0 18 0 811918179 10793050112 12759 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540088
[startup+0.30157 s]
/proc/loadavg: 1.45 2.77 3.29 3/530 1756
/proc/meminfo: memFree=21493624/32951124 swapFree=58800704/67111528
[pid=1756] ppid=1754 vsize=10541924 CPUtime=0.48 cores=0,2,4,6
/proc/1756/stat : 1756 (java) S 1754 1756 30263 0 -1 4202496 15657 0 1 0 47 1 0 0 22 0 18 0 811918179 10794930176 15196 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1756/statm: 2635481 15197 2207 9 0 2626215 0
[pid=1756/tid=1758] ppid=1754 vsize=10541924 CPUtime=0.28 cores=0,2,4,6
/proc/1756/task/1758/stat : 1758 (java) R 1754 1756 30263 0 -1 4202560 12950 0 1 0 27 1 0 0 18 0 18 0 811918179 10794930176 15197 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 46912505567946 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541924
[startup+0.701113 s]
/proc/loadavg: 1.45 2.77 3.29 3/530 1756
/proc/meminfo: memFree=21493624/32951124 swapFree=58800704/67111528
[pid=1756] ppid=1754 vsize=10550564 CPUtime=1.59 cores=0,2,4,6
/proc/1756/stat : 1756 (java) S 1754 1756 30263 0 -1 4202496 33514 0 1 0 155 4 0 0 22 0 18 0 811918179 10803777536 28156 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1756/statm: 2637641 28157 2225 9 0 2628375 0
[pid=1756/tid=1758] ppid=1754 vsize=10550564 CPUtime=0.67 cores=0,2,4,6
/proc/1756/task/1758/stat : 1758 (java) R 1754 1756 30263 0 -1 4202560 20132 0 1 0 66 1 0 0 18 0 18 0 811918179 10803777536 28158 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 46912505794764 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10550564
[startup+1.50092 s]
/proc/loadavg: 1.58 2.77 3.29 4/557 1788
/proc/meminfo: memFree=21265444/32951124 swapFree=58800704/67111528
[pid=1756] ppid=1754 vsize=10563132 CPUtime=3.5 cores=0,2,4,6
/proc/1756/stat : 1756 (java) S 1754 1756 30263 0 -1 4202496 76239 0 1 0 341 9 0 0 22 0 19 0 811918179 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1756/statm: 2640783 70641 2242 9 0 2631517 0
[pid=1756/tid=1758] ppid=1754 vsize=10563132 CPUtime=1.18 cores=0,2,4,6
/proc/1756/task/1758/stat : 1758 (java) S 1754 1756 30263 0 -1 4202560 55452 0 1 0 112 6 0 0 19 0 19 0 811918179 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1762] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1762/stat : 1762 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811918181 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1763] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1763/stat : 1763 (java) S 1754 1756 30263 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811918181 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1764] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1764/stat : 1764 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811918181 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1765] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1765/stat : 1765 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811918181 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1766] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1766/stat : 1766 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811918181 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1767] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1767/stat : 1767 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811918181 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1768] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1768/stat : 1768 (java) S 1754 1756 30263 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811918181 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1769] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1769/stat : 1769 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811918181 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1775] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1775/stat : 1775 (java) S 1754 1756 30263 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 811918182 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 0 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1776] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1776/stat : 1776 (java) S 1754 1756 30263 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811918182 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1777] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1777/stat : 1777 (java) S 1754 1756 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811918182 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1778] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1778/stat : 1778 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811918185 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107274673 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1779] ppid=1754 vsize=10563132 CPUtime=1.01 cores=0,2,4,6
/proc/1756/task/1779/stat : 1779 (java) S 1754 1756 30263 0 -1 4202560 7777 0 0 0 99 2 0 0 16 0 19 0 811918185 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1780] ppid=1754 vsize=10563132 CPUtime=0.99 cores=0,2,4,6
/proc/1756/task/1780/stat : 1780 (java) S 1754 1756 30263 0 -1 4202560 7128 0 0 0 99 0 0 0 16 0 19 0 811918185 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 0 0 0 0
[pid=1756/tid=1781] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1781/stat : 1781 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811918185 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1782] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1782/stat : 1782 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811918185 10816647168 70641 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 10563132
[startup+3.10068 s]
/proc/loadavg: 1.58 2.77 3.29 1/558 1801
/proc/meminfo: memFree=21172852/32951124 swapFree=58800704/67111528
[pid=1756] ppid=1754 vsize=10563132 CPUtime=4.13 cores=0,2,4,6
/proc/1756/stat : 1756 (java) S 1754 1756 30263 0 -1 4202496 87124 0 1 0 402 11 0 0 22 0 19 0 811918179 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1756/statm: 2640783 81524 2246 9 0 2631517 0
[pid=1756/tid=1758] ppid=1754 vsize=10563132 CPUtime=1.25 cores=0,2,4,6
/proc/1756/task/1758/stat : 1758 (java) S 1754 1756 30263 0 -1 4202560 55940 0 1 0 119 6 0 0 17 0 19 0 811918179 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1762] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1762/stat : 1762 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811918181 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1763] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1763/stat : 1763 (java) S 1754 1756 30263 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811918181 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1764] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1764/stat : 1764 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811918181 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1765] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1765/stat : 1765 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811918181 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1766] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1766/stat : 1766 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811918181 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1767] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1767/stat : 1767 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811918181 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1768] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1768/stat : 1768 (java) S 1754 1756 30263 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811918181 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1769] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1769/stat : 1769 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811918181 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1775] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1775/stat : 1775 (java) S 1754 1756 30263 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 811918182 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 0 0 16800975 18446604451007901760 0 0 -1 0 0 0 0
[pid=1756/tid=1776] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1776/stat : 1776 (java) S 1754 1756 30263 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811918182 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1777] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1777/stat : 1777 (java) S 1754 1756 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811918182 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1778] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1778/stat : 1778 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811918185 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107274673 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1779] ppid=1754 vsize=10563132 CPUtime=1.11 cores=0,2,4,6
/proc/1756/task/1779/stat : 1779 (java) S 1754 1756 30263 0 -1 4202560 7793 0 0 0 109 2 0 0 15 0 19 0 811918185 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1780] ppid=1754 vsize=10563132 CPUtime=1.13 cores=0,2,4,6
/proc/1756/task/1780/stat : 1780 (java) S 1754 1756 30263 0 -1 4202560 7146 0 0 0 113 0 0 0 16 0 19 0 811918185 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 0 0 0 0
[pid=1756/tid=1781] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1781/stat : 1781 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811918185 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1782] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1782/stat : 1782 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811918185 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1794] ppid=1754 vsize=10563132 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1794/stat : 1794 (java) S 1754 1756 30263 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 811918306 10816647168 81524 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 10563132
[startup+6.30106 s]
/proc/loadavg: 1.58 2.77 3.29 5/564 1831
/proc/meminfo: memFree=20690080/32951124 swapFree=58800704/67111528
[pid=1756] ppid=1754 vsize=10560720 CPUtime=7.89 cores=0,2,4,6
/proc/1756/stat : 1756 (java) S 1754 1756 30263 0 -1 4202496 164957 0 1 0 769 20 0 0 22 0 22 0 811918179 10814177280 158292 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1756/statm: 2640180 158292 2248 9 0 2630914 0
[pid=1756/tid=1758] ppid=1754 vsize=10560720 CPUtime=1.32 cores=0,2,4,6
/proc/1756/task/1758/stat : 1758 (java) S 1754 1756 30263 0 -1 4202560 56582 0 1 0 126 6 0 0 15 0 22 0 811918179 10814177280 158293 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1762] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1762/stat : 1762 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811918181 10814177280 158294 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1763] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1763/stat : 1763 (java) S 1754 1756 30263 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811918181 10814177280 158296 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1764] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1764/stat : 1764 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811918181 10814177280 158297 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1765] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1765/stat : 1765 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811918181 10814177280 158297 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1766] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1766/stat : 1766 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811918181 10814177280 158298 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1767] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1767/stat : 1767 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811918181 10814177280 158299 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1768] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1768/stat : 1768 (java) S 1754 1756 30263 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811918181 10814177280 158299 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1769] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1769/stat : 1769 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811918181 10814177280 158300 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1775] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1775/stat : 1775 (java) S 1754 1756 30263 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 811918182 10814177280 158300 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 0 0 16800975 18446604451007901760 0 0 -1 0 0 0 0
[pid=1756/tid=1776] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1776/stat : 1776 (java) S 1754 1756 30263 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811918182 10814177280 158301 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1777] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1777/stat : 1777 (java) S 1754 1756 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811918182 10814177280 158301 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1778] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1778/stat : 1778 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811918185 10814177280 158303 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107274673 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1779] ppid=1754 vsize=10560720 CPUtime=1.28 cores=0,2,4,6
/proc/1756/task/1779/stat : 1779 (java) S 1754 1756 30263 0 -1 4202560 7813 0 0 0 126 2 0 0 15 0 22 0 811918185 10814177280 158304 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1780] ppid=1754 vsize=10560720 CPUtime=1.39 cores=0,2,4,6
/proc/1756/task/1780/stat : 1780 (java) S 1754 1756 30263 0 -1 4202560 7160 0 0 0 139 0 0 0 15 0 22 0 811918185 10814177280 158304 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 0 0 0 0
[pid=1756/tid=1781] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1781/stat : 1781 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811918185 10814177280 158305 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=17243352/32951124 swapFree=58800704/67111528
[pid=1756] ppid=1754 vsize=10560720 CPUtime=1581.36 cores=0,2,4,6
/proc/1756/stat : 1756 (java) S 1754 1756 30263 0 -1 4202496 908174 0 1 0 158030 106 0 0 22 0 22 0 811918179 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1756/statm: 2640180 901222 2273 9 0 2630914 0
[pid=1756/tid=1758] ppid=1754 vsize=10560720 CPUtime=1.37 cores=0,2,4,6
/proc/1756/task/1758/stat : 1758 (java) S 1754 1756 30263 0 -1 4202560 56646 0 1 0 131 6 0 0 15 0 22 0 811918179 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1762] ppid=1754 vsize=10560720 CPUtime=1.21 cores=0,2,4,6
/proc/1756/task/1762/stat : 1762 (java) S 1754 1756 30263 0 -1 4202560 13333 0 0 0 120 1 0 0 15 0 22 0 811918181 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1763] ppid=1754 vsize=10560720 CPUtime=1.44 cores=0,2,4,6
/proc/1756/task/1763/stat : 1763 (java) S 1754 1756 30263 0 -1 4202560 12219 0 0 0 143 1 0 0 16 0 22 0 811918181 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 0 0 0 0
[pid=1756/tid=1764] ppid=1754 vsize=10560720 CPUtime=1.01 cores=0,2,4,6
/proc/1756/task/1764/stat : 1764 (java) S 1754 1756 30263 0 -1 4202560 12772 0 0 0 100 1 0 0 16 0 22 0 811918181 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1765] ppid=1754 vsize=10560720 CPUtime=0.9 cores=0,2,4,6
/proc/1756/task/1765/stat : 1765 (java) S 1754 1756 30263 0 -1 4202560 12006 0 0 0 89 1 0 0 15 0 22 0 811918181 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1766] ppid=1754 vsize=10560720 CPUtime=0.89 cores=0,2,4,6
/proc/1756/task/1766/stat : 1766 (java) S 1754 1756 30263 0 -1 4202560 11700 0 0 0 89 0 0 0 16 0 22 0 811918181 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1767] ppid=1754 vsize=10560720 CPUtime=0.79 cores=0,2,4,6
/proc/1756/task/1767/stat : 1767 (java) S 1754 1756 30263 0 -1 4202560 7720 0 0 0 79 0 0 0 15 0 22 0 811918181 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1768] ppid=1754 vsize=10560720 CPUtime=1.18 cores=0,2,4,6
/proc/1756/task/1768/stat : 1768 (java) S 1754 1756 30263 0 -1 4202560 16182 0 0 0 116 2 0 0 15 0 22 0 811918181 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1769] ppid=1754 vsize=10560720 CPUtime=1.28 cores=0,2,4,6
/proc/1756/task/1769/stat : 1769 (java) S 1754 1756 30263 0 -1 4202560 18694 0 0 0 126 2 0 0 16 0 22 0 811918181 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1775] ppid=1754 vsize=10560720 CPUtime=60.02 cores=0,2,4,6
/proc/1756/task/1775/stat : 1775 (java) S 1754 1756 30263 0 -1 4202560 228496 0 0 0 5978 24 0 0 15 0 22 0 811918182 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 0 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1776] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1776/stat : 1776 (java) S 1754 1756 30263 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811918182 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1777] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1777/stat : 1777 (java) S 1754 1756 30263 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 811918182 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1778] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1778/stat : 1778 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811918185 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107274673 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1779] ppid=1754 vsize=10560720 CPUtime=1.69 cores=0,2,4,6
/proc/1756/task/1779/stat : 1779 (java) S 1754 1756 30263 0 -1 4202560 7869 0 0 0 167 2 0 0 16 0 22 0 811918185 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1780] ppid=1754 vsize=10560720 CPUtime=1.53 cores=0,2,4,6
/proc/1756/task/1780/stat : 1780 (java) S 1754 1756 30263 0 -1 4202560 7171 0 0 0 153 0 0 0 16 0 22 0 811918185 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 0 0 0 0
[pid=1756/tid=1781] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1781/stat : 1781 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811918185 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1782] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1782/stat : 1782 (java) S 1754 1756 30263 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 811918185 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 0 0 0 0
[pid=1756/tid=1794] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1794/stat : 1794 (java) S 1754 1756 30263 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811918306 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1843] ppid=1754 vsize=10560720 CPUtime=680.92 cores=0,2,4,6
/proc/1756/task/1843/stat : 1843 (java) R 1754 1756 30263 0 -1 4202560 10560 0 0 0 68090 2 0 0 25 0 22 0 811926950 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 46912506433245 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1756/tid=1844] ppid=1754 vsize=10560720 CPUtime=680.96 cores=0,2,4,6
/proc/1756/task/1844/stat : 1844 (java) R 1754 1756 30263 0 -1 4202560 287146 0 0 0 68062 34 0 0 25 0 22 0 811926950 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 46912506386482 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1756/tid=1845] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1845/stat : 1845 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811926951 10814177280 901222 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1581.36
Current children cumulated vsize (KiB) 10560720
[startup+882.32 s]
/proc/loadavg: 3.68 3.60 3.50 5/564 1869
/proc/meminfo: memFree=17236480/32951124 swapFree=58800704/67111528
[pid=1756] ppid=1754 vsize=10560720 CPUtime=1698.55 cores=0,2,4,6
/proc/1756/stat : 1756 (java) S 1754 1756 30263 0 -1 4202496 908200 0 1 0 169749 106 0 0 22 0 22 0 811918179 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1756/statm: 2640180 901240 2273 9 0 2630914 0
[pid=1756/tid=1758] ppid=1754 vsize=10560720 CPUtime=1.37 cores=0,2,4,6
/proc/1756/task/1758/stat : 1758 (java) S 1754 1756 30263 0 -1 4202560 56646 0 1 0 131 6 0 0 15 0 22 0 811918179 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 0 0 0 0
[pid=1756/tid=1762] ppid=1754 vsize=10560720 CPUtime=1.21 cores=0,2,4,6
/proc/1756/task/1762/stat : 1762 (java) S 1754 1756 30263 0 -1 4202560 13333 0 0 0 120 1 0 0 15 0 22 0 811918181 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1763] ppid=1754 vsize=10560720 CPUtime=1.57 cores=0,2,4,6
/proc/1756/task/1763/stat : 1763 (java) S 1754 1756 30263 0 -1 4202560 12222 0 0 0 156 1 0 0 16 0 22 0 811918181 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 0 0 0 0
[pid=1756/tid=1764] ppid=1754 vsize=10560720 CPUtime=1.07 cores=0,2,4,6
/proc/1756/task/1764/stat : 1764 (java) S 1754 1756 30263 0 -1 4202560 12786 0 0 0 106 1 0 0 16 0 22 0 811918181 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1765] ppid=1754 vsize=10560720 CPUtime=0.97 cores=0,2,4,6
/proc/1756/task/1765/stat : 1765 (java) S 1754 1756 30263 0 -1 4202560 12006 0 0 0 96 1 0 0 16 0 22 0 811918181 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1766] ppid=1754 vsize=10560720 CPUtime=0.96 cores=0,2,4,6
/proc/1756/task/1766/stat : 1766 (java) S 1754 1756 30263 0 -1 4202560 11700 0 0 0 96 0 0 0 15 0 22 0 811918181 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1767] ppid=1754 vsize=10560720 CPUtime=0.86 cores=0,2,4,6
/proc/1756/task/1767/stat : 1767 (java) S 1754 1756 30263 0 -1 4202560 7721 0 0 0 86 0 0 0 16 0 22 0 811918181 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1768] ppid=1754 vsize=10560720 CPUtime=1.24 cores=0,2,4,6
/proc/1756/task/1768/stat : 1768 (java) S 1754 1756 30263 0 -1 4202560 16182 0 0 0 122 2 0 0 15 0 22 0 811918181 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1769] ppid=1754 vsize=10560720 CPUtime=1.35 cores=0,2,4,6
/proc/1756/task/1769/stat : 1769 (java) S 1754 1756 30263 0 -1 4202560 18694 0 0 0 133 2 0 0 15 0 22 0 811918181 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1775] ppid=1754 vsize=10560720 CPUtime=63.12 cores=0,2,4,6
/proc/1756/task/1775/stat : 1775 (java) S 1754 1756 30263 0 -1 4202560 228498 0 0 0 6288 24 0 0 15 0 22 0 811918182 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 0 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1776] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1776/stat : 1776 (java) S 1754 1756 30263 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811918182 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1777] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1777/stat : 1777 (java) S 1754 1756 30263 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 811918182 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1778] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1778/stat : 1778 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811918185 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107274673 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1779] ppid=1754 vsize=10560720 CPUtime=1.69 cores=0,2,4,6
/proc/1756/task/1779/stat : 1779 (java) S 1754 1756 30263 0 -1 4202560 7869 0 0 0 167 2 0 0 16 0 22 0 811918185 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1780] ppid=1754 vsize=10560720 CPUtime=1.53 cores=0,2,4,6
/proc/1756/task/1780/stat : 1780 (java) S 1754 1756 30263 0 -1 4202560 7171 0 0 0 153 0 0 0 16 0 22 0 811918185 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 0 0 0 0
[pid=1756/tid=1781] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1781/stat : 1781 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811918185 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1782] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1782/stat : 1782 (java) S 1754 1756 30263 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811918185 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 0 0 0 0
[pid=1756/tid=1794] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1794/stat : 1794 (java) S 1754 1756 30263 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811918306 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1843] ppid=1754 vsize=10560720 CPUtime=737.7 cores=0,2,4,6
/proc/1756/task/1843/stat : 1843 (java) R 1754 1756 30263 0 -1 4202560 10562 0 0 0 73768 2 0 0 25 0 22 0 811926950 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 46912506433126 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1756/tid=1844] ppid=1754 vsize=10560720 CPUtime=737.74 cores=0,2,4,6
/proc/1756/task/1844/stat : 1844 (java) R 1754 1756 30263 0 -1 4202560 287146 0 0 0 73740 34 0 0 25 0 22 0 811926950 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 46912506386482 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1756/tid=1845] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1845/stat : 1845 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811926951 10814177280 901240 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1698.55
Current children cumulated vsize (KiB) 10560720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+934.302 s]
/proc/loadavg: 3.48 3.54 3.48 4/564 1871
/proc/meminfo: memFree=17145916/32951124 swapFree=58800704/67111528
[pid=1756] ppid=1754 vsize=10560720 CPUtime=1800.11 cores=0,2,4,6
/proc/1756/stat : 1756 (java) S 1754 1756 30263 0 -1 4202496 929928 0 1 0 179903 108 0 0 22 0 22 0 811918179 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1756/statm: 2640180 922960 2273 9 0 2630914 0
[pid=1756/tid=1758] ppid=1754 vsize=10560720 CPUtime=1.37 cores=0,2,4,6
/proc/1756/task/1758/stat : 1758 (java) S 1754 1756 30263 0 -1 4202560 56648 0 1 0 131 6 0 0 15 0 22 0 811918179 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 0 0 0 0
[pid=1756/tid=1762] ppid=1754 vsize=10560720 CPUtime=1.25 cores=0,2,4,6
/proc/1756/task/1762/stat : 1762 (java) S 1754 1756 30263 0 -1 4202560 13333 0 0 0 124 1 0 0 15 0 22 0 811918181 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1763] ppid=1754 vsize=10560720 CPUtime=1.72 cores=0,2,4,6
/proc/1756/task/1763/stat : 1763 (java) S 1754 1756 30263 0 -1 4202560 12222 0 0 0 171 1 0 0 16 0 22 0 811918181 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1764] ppid=1754 vsize=10560720 CPUtime=1.08 cores=0,2,4,6
/proc/1756/task/1764/stat : 1764 (java) S 1754 1756 30263 0 -1 4202560 12786 0 0 0 107 1 0 0 15 0 22 0 811918181 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1765] ppid=1754 vsize=10560720 CPUtime=1 cores=0,2,4,6
/proc/1756/task/1765/stat : 1765 (java) S 1754 1756 30263 0 -1 4202560 12006 0 0 0 99 1 0 0 15 0 22 0 811918181 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1766] ppid=1754 vsize=10560720 CPUtime=1.07 cores=0,2,4,6
/proc/1756/task/1766/stat : 1766 (java) S 1754 1756 30263 0 -1 4202560 11700 0 0 0 107 0 0 0 16 0 22 0 811918181 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 0 0 0 0
[pid=1756/tid=1767] ppid=1754 vsize=10560720 CPUtime=0.86 cores=0,2,4,6
/proc/1756/task/1767/stat : 1767 (java) S 1754 1756 30263 0 -1 4202560 7721 0 0 0 86 0 0 0 15 0 22 0 811918181 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 0 0 0 0
[pid=1756/tid=1768] ppid=1754 vsize=10560720 CPUtime=1.31 cores=0,2,4,6
/proc/1756/task/1768/stat : 1768 (java) S 1754 1756 30263 0 -1 4202560 16182 0 0 0 129 2 0 0 16 0 22 0 811918181 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1769] ppid=1754 vsize=10560720 CPUtime=1.38 cores=0,2,4,6
/proc/1756/task/1769/stat : 1769 (java) S 1754 1756 30263 0 -1 4202560 18694 0 0 0 136 2 0 0 15 0 22 0 811918181 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1775] ppid=1754 vsize=10560720 CPUtime=65.68 cores=0,2,4,6
/proc/1756/task/1775/stat : 1775 (java) S 1754 1756 30263 0 -1 4202560 232451 0 0 0 6543 25 0 0 15 0 22 0 811918182 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 0 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1776] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1776/stat : 1776 (java) S 1754 1756 30263 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811918182 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1777] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1777/stat : 1777 (java) S 1754 1756 30263 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 811918182 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1778] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1778/stat : 1778 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811918185 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107274673 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1779] ppid=1754 vsize=10560720 CPUtime=1.69 cores=0,2,4,6
/proc/1756/task/1779/stat : 1779 (java) S 1754 1756 30263 0 -1 4202560 7869 0 0 0 167 2 0 0 16 0 22 0 811918185 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 4 0 0 0
[pid=1756/tid=1780] ppid=1754 vsize=10560720 CPUtime=1.53 cores=0,2,4,6
/proc/1756/task/1780/stat : 1780 (java) S 1754 1756 30263 0 -1 4202560 7171 0 0 0 153 0 0 0 16 0 22 0 811918185 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 0 0 0 0
[pid=1756/tid=1781] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1781/stat : 1781 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811918185 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107266969 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1782] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1782/stat : 1782 (java) S 1754 1756 30263 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811918185 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 6 0 0 0
[pid=1756/tid=1794] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1794/stat : 1794 (java) S 1754 1756 30263 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811918306 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
[pid=1756/tid=1843] ppid=1754 vsize=10560720 CPUtime=786.99 cores=0,2,4,6
/proc/1756/task/1843/stat : 1843 (java) R 1754 1756 30263 0 -1 4202560 11097 0 0 0 78697 2 0 0 25 0 22 0 811926950 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 46912506337489 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1756/tid=1844] ppid=1754 vsize=10560720 CPUtime=787.02 cores=0,2,4,6
/proc/1756/task/1844/stat : 1844 (java) R 1754 1756 30263 0 -1 4202560 304382 0 0 0 78667 35 0 0 25 0 22 0 811926950 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 46912506368097 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1756/tid=1845] ppid=1754 vsize=10560720 CPUtime=0 cores=0,2,4,6
/proc/1756/task/1845/stat : 1845 (java) S 1754 1756 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811926951 10814177280 922960 33554432000 1073741824 1073778376 140734853806912 18446744073709551615 228107267584 0 4 0 16800975 18446604451007901760 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10560720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+934.501 s]
/proc/loadavg: 3.48 3.54 3.48 4/564 1871
/proc/meminfo: memFree=17145916/32951124 swapFree=58800704/67111528
[pid=1756] ppid=1754 vsize=0 CPUtime=1800.4 cores=0,2,4,6
/proc/1756/stat : 1756 (java) Z 1754 1756 30263 0 -1 4203548 929959 0 1 0 179919 121 0 0 17 0 2 0 811918179 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1756/statm: 0 0 0 0 0 0 0
[pid=1756/tid=1767] ppid=1754 vsize=0 CPUtime=0.99 cores=0,2,4,6
/proc/1756/task/1767/stat : 1767 (java) R 1754 1756 30263 0 -1 4203588 7721 0 0 0 86 13 0 0 15 0 2 0 811918181 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 934.532
CPU time (s): 1800.44
CPU user time (s): 1799.2
CPU system time (s): 1.24481
CPU usage (%): 192.657
Max. virtual memory (cumulated for all children) (KiB): 10563132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.2
system time used= 1.24481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 929959
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= 23769
involuntary context switches= 19048
runsolver used 5.37018 second user time and 11.0613 second system time
The end