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-3455313-1307192783/watcher-3455313-1307192783 -o /tmp/evaluation-result-3455313-1307192783/solver-3455313-1307192783 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455313-1307192783.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: 3.40 3.46 3.38 3/519 1773
/proc/meminfo: memFree=25318112/32950928 swapFree=34421304/67111528
[pid=1773] ppid=1771 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1773/stat : 1773 (java) R 1771 1773 29288 0 -1 4202496 950 0 0 0 0 0 0 0 25 0 1 0 909509009 23580672 693 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251362577827 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1773/statm: 5757 693 509 9 0 124 0
[pid=1773/tid=1774] ppid=1771 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1774/stat : 1774 (java) R 1771 1773 29288 0 -1 4202560 7287 0 1 0 0 0 0 0 25 0 2 0 909509009 10694979584 8104 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251367240763 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.02379 s]
/proc/loadavg: 3.40 3.46 3.38 3/519 1773
/proc/meminfo: memFree=25318112/32950928 swapFree=34421304/67111528
[pid=1773] ppid=1771 vsize=10454868 CPUtime=0.01 cores=1,3,5,7
/proc/1773/stat : 1773 (java) S 1771 1773 29288 0 -1 4202496 10246 0 1 0 0 1 0 0 25 0 10 0 909509009 10705784832 9944 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/1773/statm: 2613717 9950 1169 9 0 2604465 0
[pid=1773/tid=1774] ppid=1771 vsize=10454868 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1774/stat : 1774 (java) R 1771 1773 29288 0 -1 4202560 9131 0 1 0 0 0 0 0 25 0 10 0 909509009 10705784832 9953 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 46912504009831 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10454868
[startup+0.100859 s]
/proc/loadavg: 3.40 3.46 3.38 3/519 1773
/proc/meminfo: memFree=25318112/32950928 swapFree=34421304/67111528
[pid=1773] ppid=1771 vsize=10540220 CPUtime=0.1 cores=1,3,5,7
/proc/1773/stat : 1773 (java) S 1771 1773 29288 0 -1 4202496 13034 0 1 0 9 1 0 0 25 0 18 0 909509009 10793185280 12730 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1773/statm: 2635055 12730 2092 9 0 2625789 0
[pid=1773/tid=1774] ppid=1771 vsize=10540220 CPUtime=0.08 cores=1,3,5,7
/proc/1773/task/1774/stat : 1774 (java) R 1771 1773 29288 0 -1 4202560 11124 0 1 0 7 1 0 0 18 0 18 0 909509009 10793185280 12731 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379373515 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) 10540220
[startup+0.300844 s]
/proc/loadavg: 3.40 3.46 3.38 3/519 1773
/proc/meminfo: memFree=25318112/32950928 swapFree=34421304/67111528
[pid=1773] ppid=1771 vsize=10546476 CPUtime=0.33 cores=1,3,5,7
/proc/1773/stat : 1773 (java) S 1771 1773 29288 0 -1 4202496 15582 0 1 0 32 1 0 0 25 0 19 0 909509009 10799591424 14582 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1773/statm: 2636619 14582 2204 9 0 2627353 0
[pid=1773/tid=1774] ppid=1771 vsize=10546476 CPUtime=0.19 cores=1,3,5,7
/proc/1773/task/1774/stat : 1774 (java) S 1771 1773 29288 0 -1 4202560 11903 0 1 0 18 1 0 0 19 0 19 0 909509009 10799591424 14582 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379363328 0 4 0 16800975 18446604468805646336 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 10546476
[startup+0.70078 s]
/proc/loadavg: 3.40 3.46 3.38 3/519 1773
/proc/meminfo: memFree=25318112/32950928 swapFree=34421304/67111528
[pid=1773] ppid=1771 vsize=10546476 CPUtime=0.33 cores=1,3,5,7
/proc/1773/stat : 1773 (java) S 1771 1773 29288 0 -1 4202496 15582 0 1 0 32 1 0 0 25 0 19 0 909509009 10799591424 14582 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1773/statm: 2636619 14582 2204 9 0 2627353 0
[pid=1773/tid=1774] ppid=1771 vsize=10546476 CPUtime=0.19 cores=1,3,5,7
/proc/1773/task/1774/stat : 1774 (java) S 1771 1773 29288 0 -1 4202560 11903 0 1 0 18 1 0 0 19 0 19 0 909509009 10799591424 14582 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379363328 0 4 0 16800975 18446604468805646336 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 10546476
Solver just ended. Dumping a history of the last processes samples
[startup+1.11869 s]
/proc/loadavg: 3.40 3.46 3.38 3/538 1797
/proc/meminfo: memFree=25267268/32950928 swapFree=34421304/67111528
[pid=1773] ppid=1771 vsize=10546476 CPUtime=0.33 cores=1,3,5,7
/proc/1773/stat : 1773 (java) S 1771 1773 29288 0 -1 4202496 15604 0 1 0 32 1 0 0 25 0 19 0 909509009 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1773/statm: 2636619 14604 2204 9 0 2627353 0
[pid=1773/tid=1774] ppid=1771 vsize=10546476 CPUtime=0.19 cores=1,3,5,7
/proc/1773/task/1774/stat : 1774 (java) S 1771 1773 29288 0 -1 4202560 11913 0 1 0 18 1 0 0 16 0 19 0 909509009 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379363328 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1776] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1776/stat : 1776 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509011 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1777] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1777/stat : 1777 (java) S 1771 1773 29288 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909509011 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1778] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1778/stat : 1778 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509011 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1779] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1779/stat : 1779 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509011 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1780] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1780/stat : 1780 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509011 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1781] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1781/stat : 1781 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509011 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1782] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1782/stat : 1782 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509011 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1783] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1783/stat : 1783 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509011 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1784] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1784/stat : 1784 (java) S 1771 1773 29288 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909509012 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379363328 0 0 0 16800975 18446604468805646336 0 0 -1 3 0 0 0
[pid=1773/tid=1785] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1785/stat : 1785 (java) S 1771 1773 29288 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909509012 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 3 0 0 0
[pid=1773/tid=1786] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1786/stat : 1786 (java) S 1771 1773 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909509012 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 1 0 0 0
[pid=1773/tid=1787] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1787/stat : 1787 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509015 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379370417 0 4 0 16800975 18446604468805646336 0 0 -1 3 0 0 0
[pid=1773/tid=1788] ppid=1771 vsize=10546476 CPUtime=0.07 cores=1,3,5,7
/proc/1773/task/1788/stat : 1788 (java) S 1771 1773 29288 0 -1 4202560 827 0 0 0 7 0 0 0 17 0 19 0 909509015 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 1 0 0 0
[pid=1773/tid=1789] ppid=1771 vsize=10546476 CPUtime=0.05 cores=1,3,5,7
/proc/1773/task/1789/stat : 1789 (java) S 1771 1773 29288 0 -1 4202560 1626 0 0 0 5 0 0 0 18 0 19 0 909509015 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1790] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1790/stat : 1790 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509015 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 3 0 0 0
[pid=1773/tid=1791] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1791/stat : 1791 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909509015 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379363328 0 4 0 16800975 18446604468805646336 0 0 -1 3 0 0 0
[pid=1773/tid=1794] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1794/stat : 1794 (java) S 1771 1773 29288 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909509030 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379363328 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 10546476
[startup+1.20166 s]
/proc/loadavg: 3.40 3.46 3.38 3/538 1797
/proc/meminfo: memFree=25267268/32950928 swapFree=34421304/67111528
[pid=1773] ppid=1771 vsize=10546476 CPUtime=0.33 cores=1,3,5,7
/proc/1773/stat : 1773 (java) S 1771 1773 29288 0 -1 4202496 15604 0 1 0 32 1 0 0 25 0 19 0 909509009 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1773/statm: 2636619 14604 2204 9 0 2627353 0
[pid=1773/tid=1774] ppid=1771 vsize=10546476 CPUtime=0.19 cores=1,3,5,7
/proc/1773/task/1774/stat : 1774 (java) S 1771 1773 29288 0 -1 4202560 11913 0 1 0 18 1 0 0 16 0 19 0 909509009 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379363328 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1776] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1776/stat : 1776 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509011 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1777] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1777/stat : 1777 (java) S 1771 1773 29288 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909509011 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1778] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1778/stat : 1778 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509011 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1779] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1779/stat : 1779 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509011 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1780] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1780/stat : 1780 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509011 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1781] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1781/stat : 1781 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509011 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1782] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1782/stat : 1782 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509011 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1783] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1783/stat : 1783 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509011 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1784] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1784/stat : 1784 (java) S 1771 1773 29288 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909509012 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379363328 0 0 0 16800975 18446604468805646336 0 0 -1 3 0 0 0
[pid=1773/tid=1785] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1785/stat : 1785 (java) S 1771 1773 29288 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909509012 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 3 0 0 0
[pid=1773/tid=1786] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1786/stat : 1786 (java) S 1771 1773 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909509012 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 1 0 0 0
[pid=1773/tid=1787] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1787/stat : 1787 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509015 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379370417 0 4 0 16800975 18446604468805646336 0 0 -1 3 0 0 0
[pid=1773/tid=1788] ppid=1771 vsize=10546476 CPUtime=0.07 cores=1,3,5,7
/proc/1773/task/1788/stat : 1788 (java) S 1771 1773 29288 0 -1 4202560 827 0 0 0 7 0 0 0 17 0 19 0 909509015 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 1 0 0 0
[pid=1773/tid=1789] ppid=1771 vsize=10546476 CPUtime=0.05 cores=1,3,5,7
/proc/1773/task/1789/stat : 1789 (java) S 1771 1773 29288 0 -1 4202560 1626 0 0 0 5 0 0 0 18 0 19 0 909509015 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
[pid=1773/tid=1790] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1790/stat : 1790 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909509015 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379362713 0 4 0 16800975 18446604468805646336 0 0 -1 3 0 0 0
[pid=1773/tid=1791] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1791/stat : 1791 (java) S 1771 1773 29288 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909509015 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379363328 0 4 0 16800975 18446604468805646336 0 0 -1 3 0 0 0
[pid=1773/tid=1794] ppid=1771 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/1773/task/1794/stat : 1794 (java) S 1771 1773 29288 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909509030 10799591424 14604 33554432000 1073741824 1073778376 140736704500608 18446744073709551615 251379363328 0 4 0 16800975 18446604468805646336 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 10546476
Child status: 30
Real time (s): 1.2244
CPU time (s): 0.352945
CPU user time (s): 0.331949
CPU system time (s): 0.020996
CPU usage (%): 28.826
Max. virtual memory (cumulated for all children) (KiB): 10546476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.331949
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15620
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= 157
involuntary context switches= 14
runsolver used 0.015997 second user time and 0.021996 second system time
The end