runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3251035-1304282351/watcher-3251035-1304282351 -o /tmp/evaluation-result-3251035-1304282351/solver-3251035-1304282351 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3251035-1304282351.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/248 16828
/proc/meminfo: memFree=28734244/32950928 swapFree=67111464/67111528
[pid=16828] ppid=16826 vsize=103260 CPUtime=0 cores=5,7
/proc/16828/stat : 16828 (mono) R 16826 16828 16762 0 -1 4202496 1068 0 0 0 0 0 0 0 24 0 8 0 539831816 105738240 975 33554432000 4194304 7232020 140735077717088 18446744073709551615 4381824 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/16828/statm: 25815 981 713 742 0 18386 0
[pid=16828/tid=16829] ppid=16826 vsize=103260 CPUtime=0 cores=5,7
/proc/16828/task/16829/stat : 16829 (mono) S 16826 16828 16762 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 8 0 539831816 105738240 1035 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16830] ppid=16826 vsize=103260 CPUtime=0 cores=5,7
/proc/16828/task/16830/stat : 16830 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 539831816 105738240 1048 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16831] ppid=16826 vsize=103260 CPUtime=0 cores=5,7
/proc/16828/task/16831/stat : 16831 (mono) S 16826 16828 16762 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 539831816 105738240 1054 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16832] ppid=16826 vsize=103260 CPUtime=0 cores=5,7
/proc/16828/task/16832/stat : 16832 (mono) S 16826 16828 16762 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 539831816 105738240 1056 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16833] ppid=16826 vsize=103260 CPUtime=0 cores=5,7
/proc/16828/task/16833/stat : 16833 (mono) S 16826 16828 16762 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 539831816 105738240 1059 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16834] ppid=16826 vsize=103260 CPUtime=0 cores=5,7
/proc/16828/task/16834/stat : 16834 (mono) S 16826 16828 16762 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 539831816 105738240 1070 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16835] ppid=16826 vsize=103260 CPUtime=0 cores=5,7
/proc/16828/task/16835/stat : 16835 (mono) S 16826 16828 16762 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 539831816 105738240 1070 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[startup+0.0392589 s]
/proc/loadavg: 0.00 0.00 0.00 3/248 16828
/proc/meminfo: memFree=28734244/32950928 swapFree=67111464/67111528
[pid=16828] ppid=16826 vsize=120000 CPUtime=0.03 cores=5,7
/proc/16828/stat : 16828 (mono) R 16826 16828 16762 0 -1 4202496 4236 0 0 0 3 0 0 0 25 0 9 0 539831816 122880000 4138 33554432000 4194304 7232020 140735077717088 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/16828/statm: 30000 4143 975 742 0 22571 0
[pid=16828/tid=16829] ppid=16826 vsize=120000 CPUtime=0 cores=5,7
/proc/16828/task/16829/stat : 16829 (mono) S 16826 16828 16762 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 9 0 539831816 122880000 4145 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16830] ppid=16826 vsize=120000 CPUtime=0 cores=5,7
/proc/16828/task/16830/stat : 16830 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 539831816 122880000 4148 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16831] ppid=16826 vsize=120000 CPUtime=0 cores=5,7
/proc/16828/task/16831/stat : 16831 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 539831816 122880000 4151 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16832] ppid=16826 vsize=120000 CPUtime=0 cores=5,7
/proc/16828/task/16832/stat : 16832 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 539831816 122880000 4153 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16833] ppid=16826 vsize=120000 CPUtime=0 cores=5,7
/proc/16828/task/16833/stat : 16833 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 539831816 122880000 4155 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16834] ppid=16826 vsize=120000 CPUtime=0 cores=5,7
/proc/16828/task/16834/stat : 16834 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 539831816 122880000 4158 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16835] ppid=16826 vsize=120000 CPUtime=0 cores=5,7
/proc/16828/task/16835/stat : 16835 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 539831816 122880000 4161 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 120000
[startup+0.101166 s]
/proc/loadavg: 0.00 0.00 0.00 3/248 16828
/proc/meminfo: memFree=28734244/32950928 swapFree=67111464/67111528
[pid=16828] ppid=16826 vsize=120064 CPUtime=0.09 cores=5,7
/proc/16828/stat : 16828 (mono) R 16826 16828 16762 0 -1 4202496 4948 0 0 0 9 0 0 0 18 0 9 0 539831816 122945536 4850 33554432000 4194304 7232020 140735077717088 18446744073709551615 5705984 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/16828/statm: 30016 4850 975 742 0 22587 0
[pid=16828/tid=16829] ppid=16826 vsize=120064 CPUtime=0 cores=5,7
/proc/16828/task/16829/stat : 16829 (mono) S 16826 16828 16762 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 539831816 122945536 4850 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16830] ppid=16826 vsize=120064 CPUtime=0 cores=5,7
/proc/16828/task/16830/stat : 16830 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 539831816 122945536 4850 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16831] ppid=16826 vsize=120064 CPUtime=0 cores=5,7
/proc/16828/task/16831/stat : 16831 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 539831816 122945536 4850 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16832] ppid=16826 vsize=120064 CPUtime=0 cores=5,7
/proc/16828/task/16832/stat : 16832 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 539831816 122945536 4850 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16833] ppid=16826 vsize=120064 CPUtime=0 cores=5,7
/proc/16828/task/16833/stat : 16833 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 539831816 122945536 4850 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16834] ppid=16826 vsize=120064 CPUtime=0 cores=5,7
/proc/16828/task/16834/stat : 16834 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 539831816 122945536 4850 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16835] ppid=16826 vsize=120064 CPUtime=0 cores=5,7
/proc/16828/task/16835/stat : 16835 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 539831816 122945536 4850 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 120064
[startup+0.301152 s]
/proc/loadavg: 0.00 0.00 0.00 3/248 16828
/proc/meminfo: memFree=28734244/32950928 swapFree=67111464/67111528
[pid=16828] ppid=16826 vsize=131288 CPUtime=0.32 cores=5,7
/proc/16828/stat : 16828 (mono) R 16826 16828 16762 0 -1 4202496 6821 0 0 0 31 1 0 0 18 0 9 0 539831816 134438912 6723 33554432000 4194304 7232020 140735077717088 18446744073709551615 1104167895 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/16828/statm: 32822 6723 975 742 0 25393 0
[pid=16828/tid=16829] ppid=16826 vsize=131288 CPUtime=0.01 cores=5,7
/proc/16828/task/16829/stat : 16829 (mono) S 16826 16828 16762 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 539831816 134438912 6723 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16830] ppid=16826 vsize=131288 CPUtime=0 cores=5,7
/proc/16828/task/16830/stat : 16830 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 539831816 134438912 6723 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16831] ppid=16826 vsize=131288 CPUtime=0 cores=5,7
/proc/16828/task/16831/stat : 16831 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 539831816 134438912 6723 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16832] ppid=16826 vsize=131288 CPUtime=0.02 cores=5,7
/proc/16828/task/16832/stat : 16832 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 539831816 134438912 6723 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16833] ppid=16826 vsize=131288 CPUtime=0 cores=5,7
/proc/16828/task/16833/stat : 16833 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 539831816 134438912 6723 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16834] ppid=16826 vsize=131288 CPUtime=0 cores=5,7
/proc/16828/task/16834/stat : 16834 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 539831816 134438912 6723 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16835] ppid=16826 vsize=131288 CPUtime=0 cores=5,7
/proc/16828/task/16835/stat : 16835 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 539831816 134438912 6723 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 131288
[startup+0.701161 s]
/proc/loadavg: 0.00 0.00 0.00 3/248 16828
/proc/meminfo: memFree=28734244/32950928 swapFree=67111464/67111528
[pid=16828] ppid=16826 vsize=139864 CPUtime=0.79 cores=5,7
/proc/16828/stat : 16828 (mono) R 16826 16828 16762 0 -1 4202496 9909 0 0 0 77 2 0 0 18 0 9 0 539831816 143220736 9811 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512518603 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/16828/statm: 34966 9811 975 742 0 27537 0
[pid=16828/tid=16829] ppid=16826 vsize=139864 CPUtime=0.05 cores=5,7
/proc/16828/task/16829/stat : 16829 (mono) S 16826 16828 16762 0 -1 4202560 4 0 0 0 5 0 0 0 16 0 9 0 539831816 143220736 9811 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16830] ppid=16826 vsize=139864 CPUtime=0.03 cores=5,7
/proc/16828/task/16830/stat : 16830 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 539831816 143220736 9811 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16831] ppid=16826 vsize=139864 CPUtime=0 cores=5,7
/proc/16828/task/16831/stat : 16831 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 539831816 143220736 9811 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16832] ppid=16826 vsize=139864 CPUtime=0.05 cores=5,7
/proc/16828/task/16832/stat : 16832 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 539831816 143220736 9811 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16833] ppid=16826 vsize=139864 CPUtime=0 cores=5,7
/proc/16828/task/16833/stat : 16833 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 539831816 143220736 9811 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16834] ppid=16826 vsize=139864 CPUtime=0 cores=5,7
/proc/16828/task/16834/stat : 16834 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 539831816 143220736 9811 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16835] ppid=16826 vsize=139864 CPUtime=0 cores=5,7
/proc/16828/task/16835/stat : 16835 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 539831816 143220736 9811 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 139864
[startup+1.50386 s]
/proc/loadavg: 0.00 0.00 0.00 4/257 16837
/proc/meminfo: memFree=28618556/32950928 swapFree=67111464/67111528
[pid=16828] ppid=16826 vsize=173400 CPUtime=1.74 cores=5,7
/proc/16828/stat : 16828 (mono) R 16826 16828 16762 0 -1 4202496 16711 0 0 0 171 3 0 0 18 0 9 0 539831816 177561600 16613 33554432000 4194304 7232020 140735077717088 18446744073709551615 6172598 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/16828/statm: 43350 16613 975 742 0 35921 0
[pid=16828/tid=16829] ppid=16826 vsize=173400 CPUtime=0.13 cores=5,7
/proc/16828/task/16829/stat : 16829 (mono) R 16826 16828 16762 0 -1 4202560 4 0 0 0 13 0 0 0 16 0 9 0 539831816 177561600 16613 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 0 0 0 -1 7 0 0 0
[pid=16828/tid=16830] ppid=16826 vsize=173400 CPUtime=0.09 cores=5,7
/proc/16828/task/16830/stat : 16830 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 539831816 177561600 16613 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16831] ppid=16826 vsize=173400 CPUtime=0.03 cores=5,7
/proc/16828/task/16831/stat : 16831 (mono) R 16826 16828 16762 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 539831816 177561600 16613 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=16828/tid=16832] ppid=16826 vsize=173400 CPUtime=0.09 cores=5,7
/proc/16828/task/16832/stat : 16832 (mono) R 16826 16828 16762 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 539831816 177561600 16613 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512517813 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=16828/tid=16833] ppid=16826 vsize=173400 CPUtime=0.02 cores=5,7
/proc/16828/task/16833/stat : 16833 (mono) R 16826 16828 16762 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 539831816 177561600 16613 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=16828/tid=16834] ppid=16826 vsize=173400 CPUtime=0.02 cores=5,7
/proc/16828/task/16834/stat : 16834 (mono) R 16826 16828 16762 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 539831816 177561600 16613 33554432000 4194304 7232020 140735077717088 18446744073709551615 6169006 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=16828/tid=16835] ppid=16826 vsize=173400 CPUtime=0.03 cores=5,7
/proc/16828/task/16835/stat : 16835 (mono) R 16826 16828 16762 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 539831816 177561600 16613 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 0 0 0 -1 7 0 0 0
[pid=16828/tid=16837] ppid=16826 vsize=173400 CPUtime=0 cores=5,7
/proc/16828/task/16837/stat : 16837 (mono) S 16826 16828 16762 0 -1 4194368 3 0 0 0 0 0 0 0 15 0 9 0 539831817 177561600 16613 33554432000 4194304 7232020 140735077717088 18446744073709551615 254500079551 0 2138816217 4096 545260780 18446744071562694473 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 173400
[startup+3.10057 s]
/proc/loadavg: 0.00 0.00 0.00 4/257 16837
/proc/meminfo: memFree=28415568/32950928 swapFree=67111464/67111528
[pid=16828] ppid=16826 vsize=492804 CPUtime=3.49 cores=5,7
/proc/16828/stat : 16828 (mono) R 16826 16828 16762 0 -1 4202496 93684 0 0 0 339 10 0 0 18 0 9 0 539831816 504631296 93586 33554432000 4194304 7232020 140735077717088 18446744073709551615 1104205649 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/16828/statm: 123201 93586 999 742 0 115772 0
[pid=16828/tid=16829] ppid=16826 vsize=492804 CPUtime=0.16 cores=5,7
/proc/16828/task/16829/stat : 16829 (mono) S 16826 16828 16762 0 -1 4202560 4 0 0 0 16 0 0 0 15 0 9 0 539831816 504631296 93586 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16830] ppid=16826 vsize=492804 CPUtime=0.12 cores=5,7
/proc/16828/task/16830/stat : 16830 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 539831816 504631296 93586 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16831] ppid=16826 vsize=492804 CPUtime=0.1 cores=5,7
/proc/16828/task/16831/stat : 16831 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 539831816 504631296 93586 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16832] ppid=16826 vsize=492804 CPUtime=0.14 cores=5,7
/proc/16828/task/16832/stat : 16832 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 14 0 0 0 16 0 9 0 539831816 504631296 93586 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16833] ppid=16826 vsize=492804 CPUtime=0.05 cores=5,7
/proc/16828/task/16833/stat : 16833 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 539831816 504631296 93586 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16834] ppid=16826 vsize=492804 CPUtime=0.05 cores=5,7
/proc/16828/task/16834/stat : 16834 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 539831816 504631296 93586 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16835] ppid=16826 vsize=492804 CPUtime=0.06 cores=5,7
/proc/16828/task/16835/stat : 16835 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 539831816 504631296 93586 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16837] ppid=16826 vsize=492804 CPUtime=0 cores=5,7
/proc/16828/task/16837/stat : 16837 (mono) S 16826 16828 16762 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 539831817 504631296 93586 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512515505 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 492804
Solver just ended. Dumping a history of the last processes samples
[startup+3.90049 s]
/proc/loadavg: 0.00 0.00 0.00 3/244 16854
/proc/meminfo: memFree=28332716/32950928 swapFree=67111464/67111528
[pid=16828] ppid=16826 vsize=509836 CPUtime=4.29 cores=5,7
/proc/16828/stat : 16828 (mono) R 16826 16828 16762 0 -1 4202496 101102 0 0 0 418 11 0 0 19 0 9 0 539831816 522072064 101004 33554432000 4194304 7232020 140735077717088 18446744073709551615 1104204702 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/16828/statm: 127459 101004 999 742 0 120030 0
[pid=16828/tid=16829] ppid=16826 vsize=509836 CPUtime=0.16 cores=5,7
/proc/16828/task/16829/stat : 16829 (mono) S 16826 16828 16762 0 -1 4202560 4 0 0 0 16 0 0 0 15 0 9 0 539831816 522072064 101004 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16830] ppid=16826 vsize=509836 CPUtime=0.12 cores=5,7
/proc/16828/task/16830/stat : 16830 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 539831816 522072064 101004 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16831] ppid=16826 vsize=509836 CPUtime=0.1 cores=5,7
/proc/16828/task/16831/stat : 16831 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 539831816 522072064 101004 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16832] ppid=16826 vsize=509836 CPUtime=0.14 cores=5,7
/proc/16828/task/16832/stat : 16832 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 14 0 0 0 16 0 9 0 539831816 522072064 101004 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16833] ppid=16826 vsize=509836 CPUtime=0.05 cores=5,7
/proc/16828/task/16833/stat : 16833 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 539831816 522072064 101004 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16834] ppid=16826 vsize=509836 CPUtime=0.05 cores=5,7
/proc/16828/task/16834/stat : 16834 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 539831816 522072064 101004 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16835] ppid=16826 vsize=509836 CPUtime=0.06 cores=5,7
/proc/16828/task/16835/stat : 16835 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 539831816 522072064 101004 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16837] ppid=16826 vsize=509836 CPUtime=0 cores=5,7
/proc/16828/task/16837/stat : 16837 (mono) S 16826 16828 16762 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 539831817 522072064 101004 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512515505 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 509836
[startup+4.70132 s]
/proc/loadavg: 0.16 0.03 0.01 3/244 16854
/proc/meminfo: memFree=28277756/32950928 swapFree=67111464/67111528
[pid=16828] ppid=16826 vsize=543380 CPUtime=5.09 cores=5,7
/proc/16828/stat : 16828 (mono) R 16826 16828 16762 0 -1 4202496 110186 0 0 0 497 12 0 0 21 0 9 0 539831816 556421120 110088 33554432000 4194304 7232020 140735077717088 18446744073709551615 1104627568 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/16828/statm: 135845 110088 999 742 0 128416 0
[pid=16828/tid=16829] ppid=16826 vsize=543380 CPUtime=0.16 cores=5,7
/proc/16828/task/16829/stat : 16829 (mono) S 16826 16828 16762 0 -1 4202560 4 0 0 0 16 0 0 0 15 0 9 0 539831816 556421120 110088 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16830] ppid=16826 vsize=543380 CPUtime=0.12 cores=5,7
/proc/16828/task/16830/stat : 16830 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 539831816 556421120 110088 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16831] ppid=16826 vsize=543380 CPUtime=0.1 cores=5,7
/proc/16828/task/16831/stat : 16831 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 539831816 556421120 110088 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16832] ppid=16826 vsize=543380 CPUtime=0.14 cores=5,7
/proc/16828/task/16832/stat : 16832 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 14 0 0 0 16 0 9 0 539831816 556421120 110088 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16833] ppid=16826 vsize=543380 CPUtime=0.05 cores=5,7
/proc/16828/task/16833/stat : 16833 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 539831816 556421120 110088 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16834] ppid=16826 vsize=543380 CPUtime=0.05 cores=5,7
/proc/16828/task/16834/stat : 16834 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 539831816 556421120 110088 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16835] ppid=16826 vsize=543380 CPUtime=0.06 cores=5,7
/proc/16828/task/16835/stat : 16835 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 539831816 556421120 110088 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16837] ppid=16826 vsize=543380 CPUtime=0 cores=5,7
/proc/16828/task/16837/stat : 16837 (mono) S 16826 16828 16762 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 539831817 556421120 110088 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512515505 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 543380
[startup+5.10125 s]
/proc/loadavg: 0.16 0.03 0.01 3/244 16854
/proc/meminfo: memFree=28277756/32950928 swapFree=67111464/67111528
[pid=16828] ppid=16826 vsize=643804 CPUtime=5.53 cores=5,7
/proc/16828/stat : 16828 (mono) R 16826 16828 16762 0 -1 4202496 135465 0 0 0 539 14 0 0 18 0 9 0 539831816 659255296 135367 33554432000 4194304 7232020 140735077717088 18446744073709551615 1104166100 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/16828/statm: 160951 135367 1001 742 0 153522 0
[pid=16828/tid=16829] ppid=16826 vsize=643804 CPUtime=0.2 cores=5,7
/proc/16828/task/16829/stat : 16829 (mono) S 16826 16828 16762 0 -1 4202560 4 0 0 0 20 0 0 0 16 0 9 0 539831816 659255296 135367 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16830] ppid=16826 vsize=643804 CPUtime=0.12 cores=5,7
/proc/16828/task/16830/stat : 16830 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 539831816 659255296 135367 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16831] ppid=16826 vsize=643804 CPUtime=0.1 cores=5,7
/proc/16828/task/16831/stat : 16831 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 539831816 659255296 135367 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16832] ppid=16826 vsize=643804 CPUtime=0.14 cores=5,7
/proc/16828/task/16832/stat : 16832 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 14 0 0 0 15 0 9 0 539831816 659255296 135367 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16833] ppid=16826 vsize=643804 CPUtime=0.05 cores=5,7
/proc/16828/task/16833/stat : 16833 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 539831816 659255296 135367 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16834] ppid=16826 vsize=643804 CPUtime=0.09 cores=5,7
/proc/16828/task/16834/stat : 16834 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 539831816 659255296 135367 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 5 0 0 0
[pid=16828/tid=16835] ppid=16826 vsize=643804 CPUtime=0.06 cores=5,7
/proc/16828/task/16835/stat : 16835 (mono) S 16826 16828 16762 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 539831816 659255296 135367 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512507801 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
[pid=16828/tid=16837] ppid=16826 vsize=643804 CPUtime=0 cores=5,7
/proc/16828/task/16837/stat : 16837 (mono) S 16826 16828 16762 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 539831817 659255296 135367 33554432000 4194304 7232020 140735077717088 18446744073709551615 254512515505 0 0 4096 545260780 18446604459084757696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.53
Current children cumulated vsize (KiB) 643804
Child status: 0
Real time (s): 5.17529
CPU time (s): 5.61315
CPU user time (s): 5.44217
CPU system time (s): 0.170974
CPU usage (%): 108.46
Max. virtual memory (cumulated for all children) (KiB): 643804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.44217
system time used= 0.170974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135611
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2811
involuntary context switches= 696
runsolver used 0.008998 second user time and 0.033994 second system time
The end