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-3455171-1307189403/watcher-3455171-1307189403 -o /tmp/evaluation-result-3455171-1307189403/solver-3455171-1307189403 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455171-1307189403.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.55 3.45 2.97 3/394 21787
/proc/meminfo: memFree=22278756/32951124 swapFree=37148216/67111528
[pid=21787] ppid=21785 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21787/stat : 21787 (java) S 21785 21787 19222 0 -1 4202496 3411 0 1 0 0 0 0 0 25 0 2 0 830540739 10694979584 3112 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/21787/statm: 2611079 3126 917 9 0 2602235 0
[pid=21787/tid=21788] ppid=21785 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21788/stat : 21788 (java) R 21785 21787 19222 0 -1 4202560 4050 0 1 0 0 0 0 0 25 0 2 0 830540739 10694979584 4866 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0557501 s]
/proc/loadavg: 3.55 3.45 2.97 3/394 21787
/proc/meminfo: memFree=22278756/32951124 swapFree=37148216/67111528
[pid=21787] ppid=21785 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/21787/stat : 21787 (java) S 21785 21787 19222 0 -1 4202496 11531 0 1 0 3 1 0 0 25 0 13 0 830540739 10718838784 11227 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820968421 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/21787/statm: 2616904 11227 1686 9 0 2607652 0
[pid=21787/tid=21788] ppid=21785 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/21787/task/21788/stat : 21788 (java) R 21785 21787 19222 0 -1 4202560 10382 0 1 0 3 1 0 0 25 0 13 0 830540739 10718838784 11227 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820992459 0 4 0 16800971 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100743 s]
/proc/loadavg: 3.55 3.45 2.97 3/394 21787
/proc/meminfo: memFree=22278756/32951124 swapFree=37148216/67111528
[pid=21787] ppid=21785 vsize=10539828 CPUtime=0.1 cores=1,3,5,7
/proc/21787/stat : 21787 (java) S 21785 21787 19222 0 -1 4202496 13101 0 1 0 9 1 0 0 25 0 18 0 830540739 10792783872 12760 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21787/statm: 2634957 12760 2092 9 0 2625691 0
[pid=21787/tid=21788] ppid=21785 vsize=10539828 CPUtime=0.08 cores=1,3,5,7
/proc/21787/task/21788/stat : 21788 (java) R 21785 21787 19222 0 -1 4202560 11162 0 1 0 7 1 0 0 25 0 18 0 830540739 10792783872 12760 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 47963925947928 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539828
[startup+0.300721 s]
/proc/loadavg: 3.55 3.45 2.97 3/394 21787
/proc/meminfo: memFree=22278756/32951124 swapFree=37148216/67111528
[pid=21787] ppid=21785 vsize=10544492 CPUtime=0.21 cores=1,3,5,7
/proc/21787/stat : 21787 (java) S 21785 21787 19222 0 -1 4202496 13947 0 1 0 20 1 0 0 25 0 19 0 830540739 10797559808 13588 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21787/statm: 2636123 13588 2167 9 0 2626857 0
[pid=21787/tid=21788] ppid=21785 vsize=10544492 CPUtime=0.15 cores=1,3,5,7
/proc/21787/task/21788/stat : 21788 (java) S 21785 21787 19222 0 -1 4202560 11700 0 1 0 14 1 0 0 25 0 19 0 830540739 10797559808 13588 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820982272 0 4 0 16800975 18446604461695520960 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 10544492
[startup+0.700597 s]
/proc/loadavg: 3.55 3.45 2.97 3/394 21787
/proc/meminfo: memFree=22278756/32951124 swapFree=37148216/67111528
[pid=21787] ppid=21785 vsize=10545628 CPUtime=0.31 cores=1,3,5,7
/proc/21787/stat : 21787 (java) S 21785 21787 19222 0 -1 4202496 14785 0 1 0 29 2 0 0 25 0 22 0 830540739 10798723072 14185 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21787/statm: 2636407 14185 2198 9 0 2627141 0
[pid=21787/tid=21788] ppid=21785 vsize=10545628 CPUtime=0.15 cores=1,3,5,7
/proc/21787/task/21788/stat : 21788 (java) S 21785 21787 19222 0 -1 4202560 11725 0 1 0 14 1 0 0 21 0 22 0 830540739 10798723072 14185 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820982272 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 10545628
[startup+1.50149 s]
/proc/loadavg: 3.55 3.45 2.97 4/413 21812
/proc/meminfo: memFree=22212972/32951124 swapFree=37148216/67111528
[pid=21787] ppid=21785 vsize=10554868 CPUtime=1.11 cores=1,3,5,7
/proc/21787/stat : 21787 (java) S 21785 21787 19222 0 -1 4202496 22400 0 1 0 109 2 0 0 25 0 19 0 830540739 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21787/statm: 2638717 18906 2215 9 0 2629451 0
[pid=21787/tid=21788] ppid=21785 vsize=10554868 CPUtime=0.15 cores=1,3,5,7
/proc/21787/task/21788/stat : 21788 (java) S 21785 21787 19222 0 -1 4202560 11744 0 1 0 14 1 0 0 17 0 19 0 830540739 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820982272 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21790] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21790/stat : 21790 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540741 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21791] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21791/stat : 21791 (java) S 21785 21787 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830540741 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21792] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21792/stat : 21792 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540741 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21793] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21793/stat : 21793 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540741 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21794] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21794/stat : 21794 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540741 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21795] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21795/stat : 21795 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540741 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21796] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21796/stat : 21796 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540741 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21797] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21797/stat : 21797 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540741 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21798] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21798/stat : 21798 (java) S 21785 21787 19222 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830540742 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820982272 0 0 0 16800975 18446604461695520960 0 0 -1 1 0 0 0
[pid=21787/tid=21799] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21799/stat : 21799 (java) S 21785 21787 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830540742 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 1 0 0 0
[pid=21787/tid=21800] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21800/stat : 21800 (java) S 21785 21787 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830540742 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 1 0 0 0
[pid=21787/tid=21801] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21801/stat : 21801 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540744 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820989361 0 4 0 16800975 18446604461695520960 0 0 -1 1 0 0 0
[pid=21787/tid=21802] ppid=21785 vsize=10554868 CPUtime=0.28 cores=1,3,5,7
/proc/21787/task/21802/stat : 21802 (java) S 21785 21787 19222 0 -1 4202560 3293 0 0 0 28 0 0 0 15 0 19 0 830540744 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 3 0 0 0
[pid=21787/tid=21803] ppid=21785 vsize=10554868 CPUtime=0.36 cores=1,3,5,7
/proc/21787/task/21803/stat : 21803 (java) S 21785 21787 19222 0 -1 4202560 5148 0 0 0 36 0 0 0 19 0 19 0 830540744 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 1 0 0 0
[pid=21787/tid=21804] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21804/stat : 21804 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540744 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 1 0 0 0
[pid=21787/tid=21805] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21805/stat : 21805 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830540744 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820982272 0 4 0 16800975 18446604461695520960 0 0 -1 1 0 0 0
[pid=21787/tid=21812] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21812/stat : 21812 (java) S 21785 21787 19222 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 19 0 830540806 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820982272 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 10554868
Solver just ended. Dumping a history of the last processes samples
[startup+1.60147 s]
/proc/loadavg: 3.55 3.45 2.97 4/413 21812
/proc/meminfo: memFree=22212972/32951124 swapFree=37148216/67111528
[pid=21787] ppid=21785 vsize=10554868 CPUtime=1.11 cores=1,3,5,7
/proc/21787/stat : 21787 (java) S 21785 21787 19222 0 -1 4202496 22400 0 1 0 109 2 0 0 25 0 19 0 830540739 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21787/statm: 2638717 18906 2215 9 0 2629451 0
[pid=21787/tid=21788] ppid=21785 vsize=10554868 CPUtime=0.15 cores=1,3,5,7
/proc/21787/task/21788/stat : 21788 (java) S 21785 21787 19222 0 -1 4202560 11744 0 1 0 14 1 0 0 17 0 19 0 830540739 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820982272 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21790] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21790/stat : 21790 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540741 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21791] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21791/stat : 21791 (java) S 21785 21787 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830540741 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21792] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21792/stat : 21792 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540741 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21793] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21793/stat : 21793 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540741 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21794] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21794/stat : 21794 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540741 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21795] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21795/stat : 21795 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540741 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21796] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21796/stat : 21796 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540741 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21797] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21797/stat : 21797 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540741 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
[pid=21787/tid=21798] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21798/stat : 21798 (java) S 21785 21787 19222 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830540742 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820982272 0 0 0 16800975 18446604461695520960 0 0 -1 1 0 0 0
[pid=21787/tid=21799] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21799/stat : 21799 (java) S 21785 21787 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830540742 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 1 0 0 0
[pid=21787/tid=21800] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21800/stat : 21800 (java) S 21785 21787 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830540742 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 1 0 0 0
[pid=21787/tid=21801] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21801/stat : 21801 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540744 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820989361 0 4 0 16800975 18446604461695520960 0 0 -1 1 0 0 0
[pid=21787/tid=21802] ppid=21785 vsize=10554868 CPUtime=0.28 cores=1,3,5,7
/proc/21787/task/21802/stat : 21802 (java) S 21785 21787 19222 0 -1 4202560 3293 0 0 0 28 0 0 0 15 0 19 0 830540744 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 3 0 0 0
[pid=21787/tid=21803] ppid=21785 vsize=10554868 CPUtime=0.36 cores=1,3,5,7
/proc/21787/task/21803/stat : 21803 (java) S 21785 21787 19222 0 -1 4202560 5148 0 0 0 36 0 0 0 19 0 19 0 830540744 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 1 0 0 0
[pid=21787/tid=21804] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21804/stat : 21804 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830540744 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820981657 0 4 0 16800975 18446604461695520960 0 0 -1 1 0 0 0
[pid=21787/tid=21805] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21805/stat : 21805 (java) S 21785 21787 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830540744 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820982272 0 4 0 16800975 18446604461695520960 0 0 -1 1 0 0 0
[pid=21787/tid=21812] ppid=21785 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/21787/task/21812/stat : 21812 (java) S 21785 21787 19222 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 19 0 830540806 10808184832 18906 33554432000 1073741824 1073778376 140734093502144 18446744073709551615 230820982272 0 4 0 16800975 18446604461695520960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 10554868
Child status: 30
Real time (s): 1.69302
CPU time (s): 1.13683
CPU user time (s): 1.10483
CPU system time (s): 0.031995
CPU usage (%): 67.1478
Max. virtual memory (cumulated for all children) (KiB): 10554868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.10483
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22416
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= 226
involuntary context switches= 42
runsolver used 0.009998 second user time and 0.017997 second system time
The end