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-3453739-1307194158/watcher-3453739-1307194158 -o /tmp/evaluation-result-3453739-1307194158/solver-3453739-1307194158 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453739-1307194158.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.63 3.35 3.52 3/510 1785
/proc/meminfo: memFree=26565040/32951124 swapFree=63649284/67111528
[pid=1785] ppid=1783 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/1785/stat : 1785 (java) S 1783 1785 28154 0 -1 4202496 1176 0 0 0 0 0 0 0 25 0 2 0 831014312 27824128 904 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216450021 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1785/statm: 6793 906 688 9 0 381 0
[pid=1785/tid=1786] ppid=1783 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1786/stat : 1786 (java) R 1783 1785 28154 0 -1 4202560 7018 0 1 0 0 0 0 0 25 0 2 0 831014313 10694979584 7834 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0545379 s]
/proc/loadavg: 2.63 3.35 3.52 3/510 1785
/proc/meminfo: memFree=26565040/32951124 swapFree=63649284/67111528
[pid=1785] ppid=1783 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/1785/stat : 1785 (java) S 1783 1785 28154 0 -1 4202496 11515 0 1 0 3 1 0 0 25 0 13 0 831014312 10718838784 11212 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216450021 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/1785/statm: 2616904 11212 1685 9 0 2607652 0
[pid=1785/tid=1786] ppid=1783 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/1785/task/1786/stat : 1786 (java) R 1783 1785 28154 0 -1 4202560 10367 0 1 0 3 1 0 0 18 0 13 0 831014313 10718838784 11212 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216474059 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.105551 s]
/proc/loadavg: 2.63 3.35 3.52 3/510 1785
/proc/meminfo: memFree=26565040/32951124 swapFree=63649284/67111528
[pid=1785] ppid=1783 vsize=10540056 CPUtime=0.1 cores=1,3,5,7
/proc/1785/stat : 1785 (java) S 1783 1785 28154 0 -1 4202496 13136 0 1 0 9 1 0 0 25 0 18 0 831014312 10793017344 12833 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1785/statm: 2635014 12833 2093 9 0 2625748 0
[pid=1785/tid=1786] ppid=1783 vsize=10540056 CPUtime=0.09 cores=1,3,5,7
/proc/1785/task/1786/stat : 1786 (java) R 1783 1785 28154 0 -1 4202560 11248 0 1 0 8 1 0 0 21 0 18 0 831014313 10793017344 12833 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216476027 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) 10540056
[startup+0.314642 s]
/proc/loadavg: 2.63 3.35 3.52 3/510 1785
/proc/meminfo: memFree=26565040/32951124 swapFree=63649284/67111528
[pid=1785] ppid=1783 vsize=10555340 CPUtime=0.74 cores=1,3,5,7
/proc/1785/stat : 1785 (java) S 1783 1785 28154 0 -1 4202496 23562 0 1 0 71 3 0 0 25 0 22 0 831014312 10808668160 20090 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1785/statm: 2638835 20090 2193 9 0 2629569 0
[pid=1785/tid=1786] ppid=1783 vsize=10555340 CPUtime=0.15 cores=1,3,5,7
/proc/1785/task/1786/stat : 1786 (java) S 1783 1785 28154 0 -1 4202560 11766 0 1 0 14 1 0 0 22 0 22 0 831014313 10808668160 20090 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463872 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 10555340
[startup+0.700381 s]
/proc/loadavg: 2.63 3.35 3.52 3/510 1785
/proc/meminfo: memFree=26565040/32951124 swapFree=63649284/67111528
[pid=1785] ppid=1783 vsize=10553572 CPUtime=2.29 cores=1,3,5,7
/proc/1785/stat : 1785 (java) S 1783 1785 28154 0 -1 4202496 39083 0 1 0 224 5 0 0 25 0 22 0 831014312 10806857728 32163 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1785/statm: 2638393 32164 2211 9 0 2629127 0
[pid=1785/tid=1786] ppid=1783 vsize=10553572 CPUtime=0.15 cores=1,3,5,7
/proc/1785/task/1786/stat : 1786 (java) S 1783 1785 28154 0 -1 4202560 11766 0 1 0 14 1 0 0 17 0 22 0 831014313 10806857728 32165 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463872 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10553572
[startup+1.50128 s]
/proc/loadavg: 2.63 3.35 3.52 7/532 1807
/proc/meminfo: memFree=26372752/32951124 swapFree=63649284/67111528
[pid=1785] ppid=1783 vsize=10565168 CPUtime=4.59 cores=1,3,5,7
/proc/1785/stat : 1785 (java) S 1783 1785 28154 0 -1 4202496 84404 0 1 0 449 10 0 0 25 0 19 0 831014312 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1785/statm: 2641292 75479 2251 9 0 2632026 0
[pid=1785/tid=1786] ppid=1783 vsize=10565168 CPUtime=0.15 cores=1,3,5,7
/proc/1785/task/1786/stat : 1786 (java) S 1783 1785 28154 0 -1 4202560 11766 0 1 0 14 1 0 0 16 0 19 0 831014313 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463872 0 4 0 16800975 18446604460943665920 0 0 -1 1 0 0 0
[pid=1785/tid=1788] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1788/stat : 1788 (java) S 1783 1785 28154 0 -1 4202560 297 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1789] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1789/stat : 1789 (java) S 1783 1785 28154 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1790] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1790/stat : 1790 (java) S 1783 1785 28154 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1791] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1791/stat : 1791 (java) S 1783 1785 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1792] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1792/stat : 1792 (java) S 1783 1785 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1793] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1793/stat : 1793 (java) S 1783 1785 28154 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1794] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1794/stat : 1794 (java) S 1783 1785 28154 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1795] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1795/stat : 1795 (java) S 1783 1785 28154 0 -1 4202560 177 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1796] ppid=1783 vsize=10565168 CPUtime=0.03 cores=1,3,5,7
/proc/1785/task/1796/stat : 1796 (java) S 1783 1785 28154 0 -1 4202560 885 0 0 0 3 0 0 0 16 0 19 0 831014315 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463872 0 0 0 16800975 18446604460943665920 0 0 -1 1 0 0 0
[pid=1785/tid=1797] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1797/stat : 1797 (java) S 1783 1785 28154 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 831014316 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 1 0 0 0
[pid=1785/tid=1798] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1798/stat : 1798 (java) S 1783 1785 28154 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 831014316 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 1 0 0 0
[pid=1785/tid=1799] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1799/stat : 1799 (java) S 1783 1785 28154 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831014318 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216470961 0 4 0 16800975 18446604460943665920 0 0 -1 1 0 0 0
[pid=1785/tid=1800] ppid=1783 vsize=10565168 CPUtime=1.09 cores=1,3,5,7
/proc/1785/task/1800/stat : 1800 (java) S 1783 1785 28154 0 -1 4202560 10030 0 0 0 108 1 0 0 21 0 19 0 831014318 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 7 0 0 0
[pid=1785/tid=1801] ppid=1783 vsize=10565168 CPUtime=1.09 cores=1,3,5,7
/proc/1785/task/1801/stat : 1801 (java) S 1783 1785 28154 0 -1 4202560 9889 0 0 0 108 1 0 0 21 0 19 0 831014318 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 3 0 0 0
[pid=1785/tid=1802] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1802/stat : 1802 (java) S 1783 1785 28154 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831014318 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 1 0 0 0
[pid=1785/tid=1803] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1803/stat : 1803 (java) S 1783 1785 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831014318 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463872 0 4 0 16800975 18446604460943665920 0 0 -1 7 0 0 0
[pid=1785/tid=1806] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1806/stat : 1806 (java) S 1783 1785 28154 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 831014329 10818732032 75479 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463872 0 4 0 16800975 18446604460943665920 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 10565168
Solver just ended. Dumping a history of the last processes samples
[startup+2.30115 s]
/proc/loadavg: 2.63 3.35 3.52 3/529 1813
/proc/meminfo: memFree=26242000/32951124 swapFree=63649284/67111528
[pid=1785] ppid=1783 vsize=10565168 CPUtime=4.91 cores=1,3,5,7
/proc/1785/stat : 1785 (java) S 1783 1785 28154 0 -1 4202496 94278 0 1 0 480 11 0 0 25 0 19 0 831014312 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1785/statm: 2641292 85352 2251 9 0 2632026 0
[pid=1785/tid=1786] ppid=1783 vsize=10565168 CPUtime=0.15 cores=1,3,5,7
/proc/1785/task/1786/stat : 1786 (java) S 1783 1785 28154 0 -1 4202560 11766 0 1 0 14 1 0 0 16 0 19 0 831014313 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463872 0 4 0 16800975 18446604460943665920 0 0 -1 3 0 0 0
[pid=1785/tid=1788] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1788/stat : 1788 (java) S 1783 1785 28154 0 -1 4202560 297 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1789] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1789/stat : 1789 (java) S 1783 1785 28154 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 831014314 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1790] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1790/stat : 1790 (java) S 1783 1785 28154 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 7 0 0 0
[pid=1785/tid=1791] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1791/stat : 1791 (java) S 1783 1785 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1792] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1792/stat : 1792 (java) S 1783 1785 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1793] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1793/stat : 1793 (java) S 1783 1785 28154 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 7 0 0 0
[pid=1785/tid=1794] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1794/stat : 1794 (java) S 1783 1785 28154 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1795] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1795/stat : 1795 (java) S 1783 1785 28154 0 -1 4202560 190 0 0 0 0 0 0 0 16 0 19 0 831014314 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 3 0 0 0
[pid=1785/tid=1796] ppid=1783 vsize=10565168 CPUtime=0.05 cores=1,3,5,7
/proc/1785/task/1796/stat : 1796 (java) S 1783 1785 28154 0 -1 4202560 1267 0 0 0 5 0 0 0 16 0 19 0 831014315 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463872 0 0 0 16800975 18446604460943665920 0 0 -1 1 0 0 0
[pid=1785/tid=1797] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1797/stat : 1797 (java) S 1783 1785 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831014316 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1798] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1798/stat : 1798 (java) S 1783 1785 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 831014316 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1799] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1799/stat : 1799 (java) S 1783 1785 28154 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831014318 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216470961 0 4 0 16800975 18446604460943665920 0 0 -1 1 0 0 0
[pid=1785/tid=1800] ppid=1783 vsize=10565168 CPUtime=1.1 cores=1,3,5,7
/proc/1785/task/1800/stat : 1800 (java) S 1783 1785 28154 0 -1 4202560 10030 0 0 0 109 1 0 0 17 0 19 0 831014318 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 3 0 0 0
[pid=1785/tid=1801] ppid=1783 vsize=10565168 CPUtime=1.12 cores=1,3,5,7
/proc/1785/task/1801/stat : 1801 (java) S 1783 1785 28154 0 -1 4202560 9892 0 0 0 111 1 0 0 15 0 19 0 831014318 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1802] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1802/stat : 1802 (java) S 1783 1785 28154 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831014318 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 1 0 0 0
[pid=1785/tid=1803] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1803/stat : 1803 (java) S 1783 1785 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831014318 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463872 0 4 0 16800975 18446604460943665920 0 0 -1 7 0 0 0
[pid=1785/tid=1806] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1806/stat : 1806 (java) S 1783 1785 28154 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 831014329 10818732032 85352 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463872 0 4 0 16800975 18446604460943665920 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.91
Current children cumulated vsize (KiB) 10565168
[startup+2.70108 s]
/proc/loadavg: 2.63 3.35 3.52 3/529 1813
/proc/meminfo: memFree=26242000/32951124 swapFree=63649284/67111528
[pid=1785] ppid=1783 vsize=10565168 CPUtime=4.93 cores=1,3,5,7
/proc/1785/stat : 1785 (java) S 1783 1785 28154 0 -1 4202496 94279 0 1 0 482 11 0 0 25 0 19 0 831014312 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1785/statm: 2641292 85353 2251 9 0 2632026 0
[pid=1785/tid=1786] ppid=1783 vsize=10565168 CPUtime=0.16 cores=1,3,5,7
/proc/1785/task/1786/stat : 1786 (java) R 1783 1785 28154 0 -1 4202560 11767 0 1 0 15 1 0 0 15 0 19 0 831014313 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 46912505228269 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1785/tid=1788] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1788/stat : 1788 (java) S 1783 1785 28154 0 -1 4202560 297 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1789] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1789/stat : 1789 (java) S 1783 1785 28154 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 831014314 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1790] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1790/stat : 1790 (java) S 1783 1785 28154 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 7 0 0 0
[pid=1785/tid=1791] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1791/stat : 1791 (java) S 1783 1785 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1792] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1792/stat : 1792 (java) S 1783 1785 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1793] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1793/stat : 1793 (java) S 1783 1785 28154 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 7 0 0 0
[pid=1785/tid=1794] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1794/stat : 1794 (java) S 1783 1785 28154 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 19 0 831014314 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1795] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1795/stat : 1795 (java) S 1783 1785 28154 0 -1 4202560 190 0 0 0 0 0 0 0 16 0 19 0 831014314 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 3 0 0 0
[pid=1785/tid=1796] ppid=1783 vsize=10565168 CPUtime=0.05 cores=1,3,5,7
/proc/1785/task/1796/stat : 1796 (java) S 1783 1785 28154 0 -1 4202560 1267 0 0 0 5 0 0 0 16 0 19 0 831014315 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463872 0 0 0 16800975 18446604460943665920 0 0 -1 1 0 0 0
[pid=1785/tid=1797] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1797/stat : 1797 (java) S 1783 1785 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831014316 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1798] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1798/stat : 1798 (java) S 1783 1785 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 831014316 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 5 0 0 0
[pid=1785/tid=1799] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1799/stat : 1799 (java) S 1783 1785 28154 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831014318 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216470961 0 4 0 16800975 18446604460943665920 0 0 -1 1 0 0 0
[pid=1785/tid=1800] ppid=1783 vsize=10565168 CPUtime=1.1 cores=1,3,5,7
/proc/1785/task/1800/stat : 1800 (java) S 1783 1785 28154 0 -1 4202560 10030 0 0 0 109 1 0 0 17 0 19 0 831014318 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 3 0 0 0
[pid=1785/tid=1801] ppid=1783 vsize=10565168 CPUtime=1.13 cores=1,3,5,7
/proc/1785/task/1801/stat : 1801 (java) R 1783 1785 28154 0 -1 4202560 9892 0 0 0 112 1 0 0 15 0 19 0 831014318 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 47008937245927 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1785/tid=1802] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1802/stat : 1802 (java) S 1783 1785 28154 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831014318 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463257 0 4 0 16800975 18446604460943665920 0 0 -1 1 0 0 0
[pid=1785/tid=1803] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1803/stat : 1803 (java) S 1783 1785 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831014318 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463872 0 4 0 16800975 18446604460943665920 0 0 -1 7 0 0 0
[pid=1785/tid=1806] ppid=1783 vsize=10565168 CPUtime=0 cores=1,3,5,7
/proc/1785/task/1806/stat : 1806 (java) S 1783 1785 28154 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 831014329 10818732032 85353 33554432000 1073741824 1073778376 140735026893072 18446744073709551615 210216463872 0 4 0 16800975 18446604460943665920 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.93
Current children cumulated vsize (KiB) 10565168
Child status: 30
Real time (s): 2.7234
CPU time (s): 4.96025
CPU user time (s): 4.83327
CPU system time (s): 0.12698
CPU usage (%): 182.134
Max. virtual memory (cumulated for all children) (KiB): 10565168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.83326
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94283
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= 378
involuntary context switches= 114
runsolver used 0.016997 second user time and 0.039993 second system time
The end