runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3394999-1306090070/watcher-3394999-1306090070 -o /tmp/evaluation-result-3394999-1306090070/solver-3394999-1306090070 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3394999-1306090070.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.16 1.04 1.09 2/451 11125
/proc/meminfo: memFree=17335052/32950928 swapFree=60044444/67111528
[pid=11125] ppid=11123 vsize=103260 CPUtime=0 cores=1,3,5,7
/proc/11125/stat : 11125 (mono) R 11123 11125 9891 0 -1 4202496 1183 0 0 0 0 0 0 0 24 0 8 0 799237719 105738240 1090 33554432000 4194304 7232020 140735577213088 18446744073709551615 5667712 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/11125/statm: 25815 1090 801 742 0 18386 0
[pid=11125/tid=11126] ppid=11123 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11126/stat : 11126 (mono) S 11123 11125 9891 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 9 0 799237719 108199936 1307 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11127] ppid=11123 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11127/stat : 11127 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 799237719 108199936 1308 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11128] ppid=11123 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11128/stat : 11128 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 799237719 108199936 1308 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11129] ppid=11123 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11129/stat : 11129 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 799237719 108199936 1308 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11130] ppid=11123 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11130/stat : 11130 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 799237719 108199936 1309 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11131] ppid=11123 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11131/stat : 11131 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 799237719 108199936 1309 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11132] ppid=11123 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11132/stat : 11132 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 799237719 108199936 1309 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11133] ppid=11123 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11133/stat : 11133 (mono) S 11123 11125 9891 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 799237720 108199936 1309 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907314097 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0

[startup+0.042084 s]
/proc/loadavg: 1.16 1.04 1.09 2/451 11125
/proc/meminfo: memFree=17335052/32950928 swapFree=60044444/67111528
[pid=11125] ppid=11123 vsize=113208 CPUtime=0.03 cores=1,3,5,7
/proc/11125/stat : 11125 (mono) R 11123 11125 9891 0 -1 4202496 3112 0 0 0 3 0 0 0 18 0 9 0 799237719 115924992 3015 33554432000 4194304 7232020 140735577213088 18446744073709551615 231895183056 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/11125/statm: 28302 3015 975 742 0 20873 0
[pid=11125/tid=11126] ppid=11123 vsize=113208 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11126/stat : 11126 (mono) S 11123 11125 9891 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 799237719 115924992 3015 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11127] ppid=11123 vsize=113208 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11127/stat : 11127 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799237719 115924992 3015 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 7 0 0 0
[pid=11125/tid=11128] ppid=11123 vsize=113208 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11128/stat : 11128 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 799237719 115924992 3015 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11129] ppid=11123 vsize=113208 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11129/stat : 11129 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799237719 115924992 3015 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11130] ppid=11123 vsize=113208 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11130/stat : 11130 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799237719 115924992 3015 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11131] ppid=11123 vsize=113208 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11131/stat : 11131 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799237719 115924992 3015 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11132] ppid=11123 vsize=113208 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11132/stat : 11132 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 799237719 115924992 3015 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11133] ppid=11123 vsize=113208 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11133/stat : 11133 (mono) S 11123 11125 9891 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 799237720 115924992 3015 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907314097 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 113208

[startup+0.104044 s]
/proc/loadavg: 1.16 1.04 1.09 2/451 11125
/proc/meminfo: memFree=17335052/32950928 swapFree=60044444/67111528
[pid=11125] ppid=11123 vsize=115760 CPUtime=0.1 cores=1,3,5,7
/proc/11125/stat : 11125 (mono) R 11123 11125 9891 0 -1 4202496 3676 0 0 0 10 0 0 0 18 0 9 0 799237719 118538240 3579 33554432000 4194304 7232020 140735577213088 18446744073709551615 1083932361 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/11125/statm: 28940 3579 975 742 0 21511 0
[pid=11125/tid=11126] ppid=11123 vsize=115760 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11126/stat : 11126 (mono) S 11123 11125 9891 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 799237719 118538240 3579 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 7 0 0 0
[pid=11125/tid=11127] ppid=11123 vsize=115760 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11127/stat : 11127 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799237719 118538240 3579 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 5 0 0 0
[pid=11125/tid=11128] ppid=11123 vsize=115760 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11128/stat : 11128 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 799237719 118538240 3579 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 5 0 0 0
[pid=11125/tid=11129] ppid=11123 vsize=115760 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11129/stat : 11129 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799237719 118538240 3579 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11130] ppid=11123 vsize=115760 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11130/stat : 11130 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799237719 118538240 3579 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 5 0 0 0
[pid=11125/tid=11131] ppid=11123 vsize=115760 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11131/stat : 11131 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799237719 118538240 3579 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11132] ppid=11123 vsize=115760 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11132/stat : 11132 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 799237719 118538240 3579 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 5 0 0 0
[pid=11125/tid=11133] ppid=11123 vsize=115760 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11133/stat : 11133 (mono) S 11123 11125 9891 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 799237720 118538240 3579 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907314097 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 115760

[startup+0.301059 s]
/proc/loadavg: 1.16 1.04 1.09 2/451 11125
/proc/meminfo: memFree=17335052/32950928 swapFree=60044444/67111528
[pid=11125] ppid=11123 vsize=123688 CPUtime=0.36 cores=1,3,5,7
/proc/11125/stat : 11125 (mono) R 11123 11125 9891 0 -1 4202496 5446 0 0 0 35 1 0 0 18 0 9 0 799237719 126656512 5349 33554432000 4194304 7232020 140735577213088 18446744073709551615 5706047 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/11125/statm: 30922 5349 975 742 0 23493 0
[pid=11125/tid=11126] ppid=11123 vsize=123688 CPUtime=0.01 cores=1,3,5,7
/proc/11125/task/11126/stat : 11126 (mono) S 11123 11125 9891 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 799237719 126656512 5349 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 5 0 0 0
[pid=11125/tid=11127] ppid=11123 vsize=123688 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11127/stat : 11127 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 799237719 126656512 5349 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 3 0 0 0
[pid=11125/tid=11128] ppid=11123 vsize=123688 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11128/stat : 11128 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799237719 126656512 5349 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 7 0 0 0
[pid=11125/tid=11129] ppid=11123 vsize=123688 CPUtime=0.01 cores=1,3,5,7
/proc/11125/task/11129/stat : 11129 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 799237719 126656512 5349 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 7 0 0 0
[pid=11125/tid=11130] ppid=11123 vsize=123688 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11130/stat : 11130 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 799237719 126656512 5349 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 5 0 0 0
[pid=11125/tid=11131] ppid=11123 vsize=123688 CPUtime=0.01 cores=1,3,5,7
/proc/11125/task/11131/stat : 11131 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 799237719 126656512 5349 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11132] ppid=11123 vsize=123688 CPUtime=0.01 cores=1,3,5,7
/proc/11125/task/11132/stat : 11132 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 799237719 126656512 5349 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 3 0 0 0
[pid=11125/tid=11133] ppid=11123 vsize=123688 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11133/stat : 11133 (mono) S 11123 11125 9891 0 -1 4202560 3 0 0 0 0 0 0 0 23 0 9 0 799237720 126656512 5349 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907314097 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 123688

[startup+0.700932 s]
/proc/loadavg: 1.16 1.04 1.09 2/451 11125
/proc/meminfo: memFree=17335052/32950928 swapFree=60044444/67111528
[pid=11125] ppid=11123 vsize=137892 CPUtime=0.88 cores=1,3,5,7
/proc/11125/stat : 11125 (mono) R 11123 11125 9891 0 -1 4202496 9104 0 0 0 87 1 0 0 18 0 9 0 799237719 141201408 9007 33554432000 4194304 7232020 140735577213088 18446744073709551615 6233607 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/11125/statm: 34473 9007 975 742 0 27044 0
[pid=11125/tid=11126] ppid=11123 vsize=137892 CPUtime=0.04 cores=1,3,5,7
/proc/11125/task/11126/stat : 11126 (mono) S 11123 11125 9891 0 -1 4202560 4 0 0 0 4 0 0 0 16 0 9 0 799237719 141201408 9007 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11127] ppid=11123 vsize=137892 CPUtime=0.04 cores=1,3,5,7
/proc/11125/task/11127/stat : 11127 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 799237719 141201408 9007 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 3 0 0 0
[pid=11125/tid=11128] ppid=11123 vsize=137892 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11128/stat : 11128 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 799237719 141201408 9007 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 7 0 0 0
[pid=11125/tid=11129] ppid=11123 vsize=137892 CPUtime=0.04 cores=1,3,5,7
/proc/11125/task/11129/stat : 11129 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 799237719 141201408 9007 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 7 0 0 0
[pid=11125/tid=11130] ppid=11123 vsize=137892 CPUtime=0.03 cores=1,3,5,7
/proc/11125/task/11130/stat : 11130 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 799237719 141201408 9007 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 3 0 0 0
[pid=11125/tid=11131] ppid=11123 vsize=137892 CPUtime=0.03 cores=1,3,5,7
/proc/11125/task/11131/stat : 11131 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 799237719 141201408 9007 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 5 0 0 0
[pid=11125/tid=11132] ppid=11123 vsize=137892 CPUtime=0.03 cores=1,3,5,7
/proc/11125/task/11132/stat : 11132 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 799237719 141201408 9007 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 5 0 0 0
[pid=11125/tid=11133] ppid=11123 vsize=137892 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11133/stat : 11133 (mono) S 11123 11125 9891 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 799237720 141201408 9007 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907314097 0 0 4096 545260780 18446604461048892288 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 137892

[startup+1.50086 s]
/proc/loadavg: 1.22 1.06 1.09 3/460 11134
/proc/meminfo: memFree=17298044/32950928 swapFree=60044444/67111528
[pid=11125] ppid=11123 vsize=302032 CPUtime=1.82 cores=1,3,5,7
/proc/11125/stat : 11125 (mono) R 11123 11125 9891 0 -1 4202496 48247 0 0 0 177 5 0 0 18 0 9 0 799237719 309280768 48150 33554432000 4194304 7232020 140735577213088 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/11125/statm: 75508 48150 999 742 0 68079 0
[pid=11125/tid=11126] ppid=11123 vsize=302032 CPUtime=0.07 cores=1,3,5,7
/proc/11125/task/11126/stat : 11126 (mono) S 11123 11125 9891 0 -1 4202560 4 0 0 0 7 0 0 0 16 0 9 0 799237719 309280768 48150 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11127] ppid=11123 vsize=302032 CPUtime=0.06 cores=1,3,5,7
/proc/11125/task/11127/stat : 11127 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 799237719 309280768 48151 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 3 0 0 0
[pid=11125/tid=11128] ppid=11123 vsize=302032 CPUtime=0.03 cores=1,3,5,7
/proc/11125/task/11128/stat : 11128 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 799237719 309280768 48151 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 7 0 0 0
[pid=11125/tid=11129] ppid=11123 vsize=302032 CPUtime=0.06 cores=1,3,5,7
/proc/11125/task/11129/stat : 11129 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 799237719 309280768 48151 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11130] ppid=11123 vsize=302032 CPUtime=0.05 cores=1,3,5,7
/proc/11125/task/11130/stat : 11130 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 799237719 309280768 48151 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 3 0 0 0
[pid=11125/tid=11131] ppid=11123 vsize=302032 CPUtime=0.07 cores=1,3,5,7
/proc/11125/task/11131/stat : 11131 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 7 0 0 0 16 0 9 0 799237719 309280768 48151 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 5 0 0 0
[pid=11125/tid=11132] ppid=11123 vsize=302032 CPUtime=0.05 cores=1,3,5,7
/proc/11125/task/11132/stat : 11132 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 799237719 309280768 48151 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 7 0 0 0
[pid=11125/tid=11133] ppid=11123 vsize=302032 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11133/stat : 11133 (mono) S 11123 11125 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799237720 309280768 48151 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907314097 0 0 4096 545260780 18446604461048892288 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 302032

Solver just ended. Dumping a history of the last processes samples

[startup+1.90078 s]
/proc/loadavg: 1.22 1.06 1.09 3/460 11134
/proc/meminfo: memFree=17298044/32950928 swapFree=60044444/67111528
[pid=11125] ppid=11123 vsize=318808 CPUtime=2.22 cores=1,3,5,7
/proc/11125/stat : 11125 (mono) R 11123 11125 9891 0 -1 4202496 53931 0 0 0 216 6 0 0 18 0 9 0 799237719 326459392 53834 33554432000 4194304 7232020 140735577213088 18446744073709551615 1083986907 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/11125/statm: 79702 53834 999 742 0 72273 0
[pid=11125/tid=11126] ppid=11123 vsize=318808 CPUtime=0.07 cores=1,3,5,7
/proc/11125/task/11126/stat : 11126 (mono) S 11123 11125 9891 0 -1 4202560 4 0 0 0 7 0 0 0 16 0 9 0 799237719 326459392 53834 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11127] ppid=11123 vsize=318808 CPUtime=0.06 cores=1,3,5,7
/proc/11125/task/11127/stat : 11127 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 799237719 326459392 53834 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 3 0 0 0
[pid=11125/tid=11128] ppid=11123 vsize=318808 CPUtime=0.03 cores=1,3,5,7
/proc/11125/task/11128/stat : 11128 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 799237719 326459392 53834 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 7 0 0 0
[pid=11125/tid=11129] ppid=11123 vsize=318808 CPUtime=0.06 cores=1,3,5,7
/proc/11125/task/11129/stat : 11129 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 799237719 326459392 53834 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11130] ppid=11123 vsize=318808 CPUtime=0.05 cores=1,3,5,7
/proc/11125/task/11130/stat : 11130 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 799237719 326459392 53834 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 3 0 0 0
[pid=11125/tid=11131] ppid=11123 vsize=318808 CPUtime=0.07 cores=1,3,5,7
/proc/11125/task/11131/stat : 11131 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 7 0 0 0 16 0 9 0 799237719 326459392 53834 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 5 0 0 0
[pid=11125/tid=11132] ppid=11123 vsize=318808 CPUtime=0.05 cores=1,3,5,7
/proc/11125/task/11132/stat : 11132 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 799237719 326459392 53834 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 7 0 0 0
[pid=11125/tid=11133] ppid=11123 vsize=318808 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11133/stat : 11133 (mono) S 11123 11125 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799237720 326459392 53834 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907314097 0 0 4096 545260780 18446604461048892288 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 318808

[startup+2.3007 s]
/proc/loadavg: 1.22 1.06 1.09 3/460 11134
/proc/meminfo: memFree=17114120/32950928 swapFree=60044444/67111528
[pid=11125] ppid=11123 vsize=352536 CPUtime=2.65 cores=1,3,5,7
/proc/11125/stat : 11125 (mono) R 11123 11125 9891 0 -1 4202496 63200 0 0 0 258 7 0 0 18 0 9 0 799237719 360996864 63103 33554432000 4194304 7232020 140735577213088 18446744073709551615 1077930346 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/11125/statm: 88134 63103 1001 742 0 80705 0
[pid=11125/tid=11126] ppid=11123 vsize=352536 CPUtime=0.07 cores=1,3,5,7
/proc/11125/task/11126/stat : 11126 (mono) S 11123 11125 9891 0 -1 4202560 4 0 0 0 7 0 0 0 16 0 9 0 799237719 360996864 63103 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11127] ppid=11123 vsize=352536 CPUtime=0.06 cores=1,3,5,7
/proc/11125/task/11127/stat : 11127 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 799237719 360996864 63103 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 3 0 0 0
[pid=11125/tid=11128] ppid=11123 vsize=352536 CPUtime=0.03 cores=1,3,5,7
/proc/11125/task/11128/stat : 11128 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 799237719 360996864 63103 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 7 0 0 0
[pid=11125/tid=11129] ppid=11123 vsize=352536 CPUtime=0.06 cores=1,3,5,7
/proc/11125/task/11129/stat : 11129 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 799237719 360996864 63103 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 1 0 0 0
[pid=11125/tid=11130] ppid=11123 vsize=352536 CPUtime=0.05 cores=1,3,5,7
/proc/11125/task/11130/stat : 11130 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 799237719 360996864 63103 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 3 0 0 0
[pid=11125/tid=11131] ppid=11123 vsize=352536 CPUtime=0.08 cores=1,3,5,7
/proc/11125/task/11131/stat : 11131 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 799237719 360996864 63103 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 5 0 0 0
[pid=11125/tid=11132] ppid=11123 vsize=352536 CPUtime=0.06 cores=1,3,5,7
/proc/11125/task/11132/stat : 11132 (mono) S 11123 11125 9891 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 799237719 360996864 63103 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907306393 0 0 4096 545260780 18446604461048892288 0 0 -1 7 0 0 0
[pid=11125/tid=11133] ppid=11123 vsize=352536 CPUtime=0 cores=1,3,5,7
/proc/11125/task/11133/stat : 11133 (mono) S 11123 11125 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799237720 360996864 63103 33554432000 4194304 7232020 140735577213088 18446744073709551615 231907314097 0 0 4096 545260780 18446604461048892288 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 352536

Child status: 0
Real time (s): 2.38201
CPU time (s): 2.74258
CPU user time (s): 2.65859
CPU system time (s): 0.083987
CPU usage (%): 115.137
Max. virtual memory (cumulated for all children) (KiB): 352536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6586
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63343
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= 3509
involuntary context switches= 560

runsolver used 0.008998 second user time and 0.037994 second system time

The end