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-3395003-1306090079/watcher-3395003-1306090079 -o /tmp/evaluation-result-3395003-1306090079/solver-3395003-1306090079 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3395003-1306090079.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.28 1.07 1.10 3/451 11195
/proc/meminfo: memFree=17334344/32950928 swapFree=60044444/67111528
[pid=11195] ppid=11193 vsize=102736 CPUtime=0 cores=1,3,5,7
/proc/11195/stat : 11195 (mono) R 11193 11195 9891 0 -1 4202496 915 0 0 0 0 0 0 0 25 0 8 0 799238636 105201664 825 33554432000 4194304 7232020 140736141590736 18446744073709551615 231895151649 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/11195/statm: 25684 825 639 742 0 18255 0
[pid=11195/tid=11196] ppid=11193 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11196/stat : 11196 (mono) S 11193 11195 9891 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 799238637 108199936 1275 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11197] ppid=11193 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11197/stat : 11197 (mono) S 11193 11195 9891 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 799238637 108199936 1275 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11198] ppid=11193 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11198/stat : 11198 (mono) S 11193 11195 9891 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 799238637 108199936 1275 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11199] ppid=11193 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11199/stat : 11199 (mono) S 11193 11195 9891 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 799238637 108199936 1275 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11200] ppid=11193 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11200/stat : 11200 (mono) S 11193 11195 9891 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 799238637 108199936 1275 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11201] ppid=11193 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11201/stat : 11201 (mono) S 11193 11195 9891 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 799238637 108199936 1275 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11202] ppid=11193 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11202/stat : 11202 (mono) S 11193 11195 9891 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 799238637 108199936 1275 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11203] ppid=11193 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11203/stat : 11203 (mono) S 11193 11195 9891 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 799238638 108199936 1275 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907314097 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0

[startup+0.114871 s]
/proc/loadavg: 1.28 1.07 1.10 3/451 11195
/proc/meminfo: memFree=17334344/32950928 swapFree=60044444/67111528
[pid=11195] ppid=11193 vsize=114260 CPUtime=0.11 cores=1,3,5,7
/proc/11195/stat : 11195 (mono) R 11193 11195 9891 0 -1 4202496 3523 0 0 0 11 0 0 0 18 0 9 0 799238636 117002240 3427 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907314097 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/11195/statm: 28565 3427 975 742 0 21136 0
[pid=11195/tid=11196] ppid=11193 vsize=114260 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11196/stat : 11196 (mono) S 11193 11195 9891 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 9 0 799238637 117002240 3427 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 7 0 0 0
[pid=11195/tid=11197] ppid=11193 vsize=114260 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11197/stat : 11197 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 799238637 117002240 3427 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11198] ppid=11193 vsize=114260 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11198/stat : 11198 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799238637 117002240 3427 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11199] ppid=11193 vsize=114260 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11199/stat : 11199 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799238637 117002240 3427 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11200] ppid=11193 vsize=114260 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11200/stat : 11200 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799238637 117002240 3427 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
[pid=11195/tid=11201] ppid=11193 vsize=114260 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11201/stat : 11201 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799238637 117002240 3427 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11202] ppid=11193 vsize=114260 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11202/stat : 11202 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799238637 117002240 3427 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 7 0 0 0
[pid=11195/tid=11203] ppid=11193 vsize=114260 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11203/stat : 11203 (mono) S 11193 11195 9891 0 -1 4202560 3 0 0 0 0 0 0 0 24 0 9 0 799238638 117002240 3427 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907314097 0 0 4096 545260780 18446604467230079680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 114260

[startup+0.201204 s]
/proc/loadavg: 1.28 1.07 1.10 3/451 11195
/proc/meminfo: memFree=17334344/32950928 swapFree=60044444/67111528
[pid=11195] ppid=11193 vsize=117204 CPUtime=0.22 cores=1,3,5,7
/proc/11195/stat : 11195 (mono) R 11193 11195 9891 0 -1 4202496 4316 0 0 0 21 1 0 0 18 0 9 0 799238636 120016896 4220 33554432000 4194304 7232020 140736141590736 18446744073709551615 1165878832 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/11195/statm: 29301 4220 975 742 0 21872 0
[pid=11195/tid=11196] ppid=11193 vsize=117204 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11196/stat : 11196 (mono) S 11193 11195 9891 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 799238637 120016896 4220 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 1 0 0 0
[pid=11195/tid=11197] ppid=11193 vsize=117204 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11197/stat : 11197 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799238637 120016896 4220 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11198] ppid=11193 vsize=117204 CPUtime=0.01 cores=1,3,5,7
/proc/11195/task/11198/stat : 11198 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 799238637 120016896 4220 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
[pid=11195/tid=11199] ppid=11193 vsize=117204 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11199/stat : 11199 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799238637 120016896 4220 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11200] ppid=11193 vsize=117204 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11200/stat : 11200 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799238637 120016896 4220 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 7 0 0 0
[pid=11195/tid=11201] ppid=11193 vsize=117204 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11201/stat : 11201 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799238637 120016896 4220 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
[pid=11195/tid=11202] ppid=11193 vsize=117204 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11202/stat : 11202 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799238637 120016896 4220 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 1 0 0 0
[pid=11195/tid=11203] ppid=11193 vsize=117204 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11203/stat : 11203 (mono) S 11193 11195 9891 0 -1 4202560 3 0 0 0 0 0 0 0 24 0 9 0 799238638 120016896 4220 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907314097 0 0 4096 545260780 18446604467230079680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 117204

[startup+0.301394 s]
/proc/loadavg: 1.28 1.07 1.10 3/451 11195
/proc/meminfo: memFree=17334344/32950928 swapFree=60044444/67111528
[pid=11195] ppid=11193 vsize=121024 CPUtime=0.35 cores=1,3,5,7
/proc/11195/stat : 11195 (mono) S 11193 11195 9891 0 -1 4202496 5291 0 0 0 34 1 0 0 18 0 9 0 799238636 123928576 5195 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/11195/statm: 30256 5195 975 742 0 22827 0
[pid=11195/tid=11196] ppid=11193 vsize=121024 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11196/stat : 11196 (mono) S 11193 11195 9891 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 799238637 123928576 5195 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 1 0 0 0
[pid=11195/tid=11197] ppid=11193 vsize=121024 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11197/stat : 11197 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799238637 123928576 5195 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11198] ppid=11193 vsize=121024 CPUtime=0.01 cores=1,3,5,7
/proc/11195/task/11198/stat : 11198 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 799238637 123928576 5195 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
[pid=11195/tid=11199] ppid=11193 vsize=121024 CPUtime=0.01 cores=1,3,5,7
/proc/11195/task/11199/stat : 11199 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 799238637 123928576 5195 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11200] ppid=11193 vsize=121024 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11200/stat : 11200 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799238637 123928576 5195 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11201] ppid=11193 vsize=121024 CPUtime=0.01 cores=1,3,5,7
/proc/11195/task/11201/stat : 11201 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 799238637 123928576 5195 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
[pid=11195/tid=11202] ppid=11193 vsize=121024 CPUtime=0.01 cores=1,3,5,7
/proc/11195/task/11202/stat : 11202 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 799238637 123928576 5195 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 1 0 0 0
[pid=11195/tid=11203] ppid=11193 vsize=121024 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11203/stat : 11203 (mono) S 11193 11195 9891 0 -1 4202560 3 0 0 0 0 0 0 0 23 0 9 0 799238638 123928576 5195 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907314097 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 121024

[startup+0.701156 s]
/proc/loadavg: 1.28 1.07 1.10 3/451 11195
/proc/meminfo: memFree=17334344/32950928 swapFree=60044444/67111528
[pid=11195] ppid=11193 vsize=141484 CPUtime=0.86 cores=1,3,5,7
/proc/11195/stat : 11195 (mono) R 11193 11195 9891 0 -1 4202496 8859 0 0 0 84 2 0 0 18 0 9 0 799238636 144879616 8763 33554432000 4194304 7232020 140736141590736 18446744073709551615 1165884994 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/11195/statm: 35371 8763 994 742 0 27942 0
[pid=11195/tid=11196] ppid=11193 vsize=141484 CPUtime=0.02 cores=1,3,5,7
/proc/11195/task/11196/stat : 11196 (mono) S 11193 11195 9891 0 -1 4202560 4 0 0 0 2 0 0 0 16 0 9 0 799238637 144879616 8763 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
[pid=11195/tid=11197] ppid=11193 vsize=141484 CPUtime=0.02 cores=1,3,5,7
/proc/11195/task/11197/stat : 11197 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 799238637 144879616 8763 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11198] ppid=11193 vsize=141484 CPUtime=0.03 cores=1,3,5,7
/proc/11195/task/11198/stat : 11198 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 799238637 144879616 8763 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 1 0 0 0
[pid=11195/tid=11199] ppid=11193 vsize=141484 CPUtime=0.03 cores=1,3,5,7
/proc/11195/task/11199/stat : 11199 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 799238637 144879616 8763 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 7 0 0 0
[pid=11195/tid=11200] ppid=11193 vsize=141484 CPUtime=0.02 cores=1,3,5,7
/proc/11195/task/11200/stat : 11200 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 799238637 144879616 8763 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11201] ppid=11193 vsize=141484 CPUtime=0.03 cores=1,3,5,7
/proc/11195/task/11201/stat : 11201 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 799238637 144879616 8763 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 7 0 0 0
[pid=11195/tid=11202] ppid=11193 vsize=141484 CPUtime=0.04 cores=1,3,5,7
/proc/11195/task/11202/stat : 11202 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 799238637 144879616 8763 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
[pid=11195/tid=11203] ppid=11193 vsize=141484 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11203/stat : 11203 (mono) S 11193 11195 9891 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 799238638 144879616 8763 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907314097 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 141484

[startup+1.50101 s]
/proc/loadavg: 1.28 1.07 1.10 3/460 11204
/proc/meminfo: memFree=17152868/32950928 swapFree=60044444/67111528
[pid=11195] ppid=11193 vsize=306864 CPUtime=1.74 cores=1,3,5,7
/proc/11195/stat : 11195 (mono) R 11193 11195 9891 0 -1 4202496 50318 0 0 0 168 6 0 0 18 0 9 0 799238636 314228736 50222 33554432000 4194304 7232020 140736141590736 18446744073709551615 1165903393 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/11195/statm: 76716 50222 999 742 0 69287 0
[pid=11195/tid=11196] ppid=11193 vsize=306864 CPUtime=0.03 cores=1,3,5,7
/proc/11195/task/11196/stat : 11196 (mono) S 11193 11195 9891 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 9 0 799238637 314228736 50222 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11197] ppid=11193 vsize=306864 CPUtime=0.03 cores=1,3,5,7
/proc/11195/task/11197/stat : 11197 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 799238637 314228736 50222 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11198] ppid=11193 vsize=306864 CPUtime=0.04 cores=1,3,5,7
/proc/11195/task/11198/stat : 11198 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 799238637 314228736 50222 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 7 0 0 0
[pid=11195/tid=11199] ppid=11193 vsize=306864 CPUtime=0.04 cores=1,3,5,7
/proc/11195/task/11199/stat : 11199 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 799238637 314228736 50222 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 7 0 0 0
[pid=11195/tid=11200] ppid=11193 vsize=306864 CPUtime=0.03 cores=1,3,5,7
/proc/11195/task/11200/stat : 11200 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 799238637 314228736 50222 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
[pid=11195/tid=11201] ppid=11193 vsize=306864 CPUtime=0.05 cores=1,3,5,7
/proc/11195/task/11201/stat : 11201 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 799238637 314228736 50222 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
[pid=11195/tid=11202] ppid=11193 vsize=306864 CPUtime=0.05 cores=1,3,5,7
/proc/11195/task/11202/stat : 11202 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 799238637 314228736 50222 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 1 0 0 0
[pid=11195/tid=11203] ppid=11193 vsize=306864 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11203/stat : 11203 (mono) S 11193 11195 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799238638 314228736 50222 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907314097 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 306864

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

[startup+1.601 s]
/proc/loadavg: 1.28 1.07 1.10 3/460 11204
/proc/meminfo: memFree=17152868/32950928 swapFree=60044444/67111528
[pid=11195] ppid=11193 vsize=315120 CPUtime=1.84 cores=1,3,5,7
/proc/11195/stat : 11195 (mono) R 11193 11195 9891 0 -1 4202496 52306 0 0 0 178 6 0 0 18 0 9 0 799238636 322682880 52210 33554432000 4194304 7232020 140736141590736 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/11195/statm: 78780 52210 999 742 0 71351 0
[pid=11195/tid=11196] ppid=11193 vsize=315120 CPUtime=0.03 cores=1,3,5,7
/proc/11195/task/11196/stat : 11196 (mono) S 11193 11195 9891 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 9 0 799238637 322682880 52210 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11197] ppid=11193 vsize=315120 CPUtime=0.03 cores=1,3,5,7
/proc/11195/task/11197/stat : 11197 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 799238637 322682880 52210 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11198] ppid=11193 vsize=315120 CPUtime=0.04 cores=1,3,5,7
/proc/11195/task/11198/stat : 11198 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 799238637 322682880 52210 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 7 0 0 0
[pid=11195/tid=11199] ppid=11193 vsize=315120 CPUtime=0.04 cores=1,3,5,7
/proc/11195/task/11199/stat : 11199 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 799238637 322682880 52211 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 7 0 0 0
[pid=11195/tid=11200] ppid=11193 vsize=315120 CPUtime=0.03 cores=1,3,5,7
/proc/11195/task/11200/stat : 11200 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 799238637 322682880 52212 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
[pid=11195/tid=11201] ppid=11193 vsize=315120 CPUtime=0.05 cores=1,3,5,7
/proc/11195/task/11201/stat : 11201 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 799238637 322682880 52212 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
[pid=11195/tid=11202] ppid=11193 vsize=315120 CPUtime=0.05 cores=1,3,5,7
/proc/11195/task/11202/stat : 11202 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 799238637 322682880 52213 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 1 0 0 0
[pid=11195/tid=11203] ppid=11193 vsize=315120 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11203/stat : 11203 (mono) S 11193 11195 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799238638 322682880 52214 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907314097 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 315120

[startup+1.80096 s]
/proc/loadavg: 1.28 1.07 1.10 3/460 11204
/proc/meminfo: memFree=17152868/32950928 swapFree=60044444/67111528
[pid=11195] ppid=11193 vsize=323504 CPUtime=2.04 cores=1,3,5,7
/proc/11195/stat : 11195 (mono) R 11193 11195 9891 0 -1 4202496 54156 0 0 0 198 6 0 0 18 0 9 0 799238636 331268096 54060 33554432000 4194304 7232020 140736141590736 18446744073709551615 1165913172 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/11195/statm: 80876 54060 999 742 0 73447 0
[pid=11195/tid=11196] ppid=11193 vsize=323504 CPUtime=0.03 cores=1,3,5,7
/proc/11195/task/11196/stat : 11196 (mono) S 11193 11195 9891 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 9 0 799238637 331268096 54060 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11197] ppid=11193 vsize=323504 CPUtime=0.03 cores=1,3,5,7
/proc/11195/task/11197/stat : 11197 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 799238637 331268096 54060 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11198] ppid=11193 vsize=323504 CPUtime=0.04 cores=1,3,5,7
/proc/11195/task/11198/stat : 11198 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 799238637 331268096 54060 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 7 0 0 0
[pid=11195/tid=11199] ppid=11193 vsize=323504 CPUtime=0.04 cores=1,3,5,7
/proc/11195/task/11199/stat : 11199 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 799238637 331268096 54060 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 7 0 0 0
[pid=11195/tid=11200] ppid=11193 vsize=323504 CPUtime=0.03 cores=1,3,5,7
/proc/11195/task/11200/stat : 11200 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 799238637 331268096 54060 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
[pid=11195/tid=11201] ppid=11193 vsize=323504 CPUtime=0.05 cores=1,3,5,7
/proc/11195/task/11201/stat : 11201 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 799238637 331268096 54060 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
[pid=11195/tid=11202] ppid=11193 vsize=323504 CPUtime=0.05 cores=1,3,5,7
/proc/11195/task/11202/stat : 11202 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 799238637 331268096 54060 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 1 0 0 0
[pid=11195/tid=11203] ppid=11193 vsize=323504 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11203/stat : 11203 (mono) S 11193 11195 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799238638 331268096 54060 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907314097 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 323504

[startup+1.90093 s]
/proc/loadavg: 1.28 1.07 1.10 3/460 11204
/proc/meminfo: memFree=17152868/32950928 swapFree=60044444/67111528
[pid=11195] ppid=11193 vsize=373744 CPUtime=2.14 cores=1,3,5,7
/proc/11195/stat : 11195 (mono) R 11193 11195 9891 0 -1 4202496 67484 0 0 0 206 8 0 0 18 0 9 0 799238636 382713856 67389 33554432000 4194304 7232020 140736141590736 18446744073709551615 231895184443 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/11195/statm: 93436 67419 1001 742 0 86007 0
[pid=11195/tid=11196] ppid=11193 vsize=373744 CPUtime=0.03 cores=1,3,5,7
/proc/11195/task/11196/stat : 11196 (mono) S 11193 11195 9891 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 9 0 799238637 382713856 67434 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11197] ppid=11193 vsize=373744 CPUtime=0.03 cores=1,3,5,7
/proc/11195/task/11197/stat : 11197 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 799238637 382713856 67451 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 5 0 0 0
[pid=11195/tid=11198] ppid=11193 vsize=373744 CPUtime=0.04 cores=1,3,5,7
/proc/11195/task/11198/stat : 11198 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 799238637 382713856 67469 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 7 0 0 0
[pid=11195/tid=11199] ppid=11193 vsize=373744 CPUtime=0.04 cores=1,3,5,7
/proc/11195/task/11199/stat : 11199 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 799238637 382713856 67484 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 7 0 0 0
[pid=11195/tid=11200] ppid=11193 vsize=373744 CPUtime=0.03 cores=1,3,5,7
/proc/11195/task/11200/stat : 11200 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 799238637 382713856 67501 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
[pid=11195/tid=11201] ppid=11193 vsize=373744 CPUtime=0.05 cores=1,3,5,7
/proc/11195/task/11201/stat : 11201 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 799238637 382713856 67518 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
[pid=11195/tid=11202] ppid=11193 vsize=373744 CPUtime=0.05 cores=1,3,5,7
/proc/11195/task/11202/stat : 11202 (mono) S 11193 11195 9891 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 799238637 382713856 67536 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907306393 0 0 4096 545260780 18446604467230079680 0 0 -1 1 0 0 0
[pid=11195/tid=11203] ppid=11193 vsize=373744 CPUtime=0 cores=1,3,5,7
/proc/11195/task/11203/stat : 11203 (mono) S 11193 11195 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799238638 382713856 67552 33554432000 4194304 7232020 140736141590736 18446744073709551615 231907314097 0 0 4096 545260780 18446604467230079680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 373744

Child status: 0
Real time (s): 1.96873
CPU time (s): 2.24266
CPU user time (s): 2.14367
CPU system time (s): 0.098984
CPU usage (%): 113.914
Max. virtual memory (cumulated for all children) (KiB): 373744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.14367
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69273
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= 3439
involuntary context switches= 643

runsolver used 0.014997 second user time and 0.018997 second system time

The end