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-3395007-1306090082/watcher-3395007-1306090082 -o /tmp/evaluation-result-3395007-1306090082/solver-3395007-1306090082 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3395007-1306090082.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.34 1.09 1.10 2/451 11266
/proc/meminfo: memFree=17333184/32950928 swapFree=60044444/67111528
[pid=11266] ppid=11264 vsize=105328 CPUtime=0 cores=1,3,5,7
/proc/11266/stat : 11266 (mono) R 11264 11266 9891 0 -1 4202496 1193 0 0 0 0 0 0 0 25 0 9 0 799238938 107855872 1100 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907319547 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/11266/statm: 26332 1102 809 742 0 18903 0
[pid=11266/tid=11267] ppid=11264 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11267/stat : 11267 (mono) S 11264 11266 9891 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 799238938 108199936 1307 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11268] ppid=11264 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11268/stat : 11268 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799238938 108199936 1308 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11269] ppid=11264 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11269/stat : 11269 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799238938 108199936 1308 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11270] ppid=11264 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11270/stat : 11270 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799238938 108199936 1308 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11271] ppid=11264 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11271/stat : 11271 (mono) S 11264 11266 9891 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 799238938 108199936 1308 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11272] ppid=11264 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11272/stat : 11272 (mono) S 11264 11266 9891 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 799238938 108199936 1308 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11273] ppid=11264 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11273/stat : 11273 (mono) S 11264 11266 9891 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 799238938 108339200 1310 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11274] ppid=11264 vsize=105720 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11274/stat : 11274 (mono) S 11264 11266 9891 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 799238939 108257280 1310 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907314097 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0

[startup+0.027871 s]
/proc/loadavg: 1.34 1.09 1.10 2/451 11266
/proc/meminfo: memFree=17333184/32950928 swapFree=60044444/67111528
[pid=11266] ppid=11264 vsize=109204 CPUtime=0.02 cores=1,3,5,7
/proc/11266/stat : 11266 (mono) R 11264 11266 9891 0 -1 4202496 2315 0 0 0 2 0 0 0 25 0 9 0 799238938 111824896 2219 33554432000 4194304 7232020 140734222691104 18446744073709551615 6172655 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/11266/statm: 27301 2219 974 742 0 19872 0
[pid=11266/tid=11267] ppid=11264 vsize=109204 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11267/stat : 11267 (mono) S 11264 11266 9891 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 799238938 111824896 2219 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11268] ppid=11264 vsize=109204 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11268/stat : 11268 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799238938 111824896 2219 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11269] ppid=11264 vsize=109204 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11269/stat : 11269 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799238938 111824896 2219 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11270] ppid=11264 vsize=109204 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11270/stat : 11270 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799238938 111824896 2219 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11271] ppid=11264 vsize=109204 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11271/stat : 11271 (mono) R 11264 11266 9891 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 799238938 111824896 2219 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 0 0 0 -1 7 0 0 0
[pid=11266/tid=11272] ppid=11264 vsize=109204 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11272/stat : 11272 (mono) S 11264 11266 9891 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 799238938 111824896 2219 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11273] ppid=11264 vsize=109204 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11273/stat : 11273 (mono) S 11264 11266 9891 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 799238938 111824896 2219 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11274] ppid=11264 vsize=109204 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11274/stat : 11274 (mono) S 11264 11266 9891 0 -1 4194368 3 0 0 0 0 0 0 0 25 0 9 0 799238939 111824896 2219 33554432000 4194304 7232020 140734222691104 18446744073709551615 231894878143 0 2138816217 4096 545260780 18446744071562694473 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 109204

[startup+0.100815 s]
/proc/loadavg: 1.34 1.09 1.10 2/451 11266
/proc/meminfo: memFree=17333184/32950928 swapFree=60044444/67111528
[pid=11266] ppid=11264 vsize=114196 CPUtime=0.1 cores=1,3,5,7
/proc/11266/stat : 11266 (mono) R 11264 11266 9891 0 -1 4202496 3382 0 0 0 10 0 0 0 18 0 9 0 799238938 116936704 3285 33554432000 4194304 7232020 140734222691104 18446744073709551615 1101439836 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/11266/statm: 28549 3285 976 742 0 21120 0
[pid=11266/tid=11267] ppid=11264 vsize=114196 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11267/stat : 11267 (mono) S 11264 11266 9891 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 799238938 116936704 3285 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11268] ppid=11264 vsize=114196 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11268/stat : 11268 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799238938 116936704 3285 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 7 0 0 0
[pid=11266/tid=11269] ppid=11264 vsize=114196 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11269/stat : 11269 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 799238938 116936704 3285 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11270] ppid=11264 vsize=114196 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11270/stat : 11270 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799238938 116936704 3285 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 7 0 0 0
[pid=11266/tid=11271] ppid=11264 vsize=114196 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11271/stat : 11271 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799238938 116936704 3285 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11272] ppid=11264 vsize=114196 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11272/stat : 11272 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799238938 116936704 3285 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 7 0 0 0
[pid=11266/tid=11273] ppid=11264 vsize=114196 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11273/stat : 11273 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799238938 116936704 3285 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 7 0 0 0
[pid=11266/tid=11274] ppid=11264 vsize=114196 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11274/stat : 11274 (mono) S 11264 11266 9891 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 799238939 116936704 3285 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907314097 0 0 4096 545260780 18446604471152761920 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 114196

[startup+0.300787 s]
/proc/loadavg: 1.34 1.09 1.10 2/451 11266
/proc/meminfo: memFree=17333184/32950928 swapFree=60044444/67111528
[pid=11266] ppid=11264 vsize=120912 CPUtime=0.34 cores=1,3,5,7
/proc/11266/stat : 11266 (mono) R 11264 11266 9891 0 -1 4202496 5145 0 0 0 33 1 0 0 18 0 9 0 799238938 123813888 5048 33554432000 4194304 7232020 140734222691104 18446744073709551615 5420064 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/11266/statm: 30228 5048 976 742 0 22799 0
[pid=11266/tid=11267] ppid=11264 vsize=120912 CPUtime=0.01 cores=1,3,5,7
/proc/11266/task/11267/stat : 11267 (mono) S 11264 11266 9891 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 799238938 123813888 5048 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 1 0 0 0
[pid=11266/tid=11268] ppid=11264 vsize=120912 CPUtime=0.01 cores=1,3,5,7
/proc/11266/task/11268/stat : 11268 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 799238938 123813888 5048 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 7 0 0 0
[pid=11266/tid=11269] ppid=11264 vsize=120912 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11269/stat : 11269 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799238938 123813888 5048 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 1 0 0 0
[pid=11266/tid=11270] ppid=11264 vsize=120912 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11270/stat : 11270 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799238938 123813888 5048 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11271] ppid=11264 vsize=120912 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11271/stat : 11271 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 799238938 123813888 5048 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11272] ppid=11264 vsize=120912 CPUtime=0.01 cores=1,3,5,7
/proc/11266/task/11272/stat : 11272 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 799238938 123813888 5048 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11273] ppid=11264 vsize=120912 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11273/stat : 11273 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799238938 123813888 5048 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 7 0 0 0
[pid=11266/tid=11274] ppid=11264 vsize=120912 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11274/stat : 11274 (mono) S 11264 11266 9891 0 -1 4202560 3 0 0 0 0 0 0 0 23 0 9 0 799238939 123813888 5048 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907314097 0 0 4096 545260780 18446604471152761920 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 120912

[startup+0.700738 s]
/proc/loadavg: 1.34 1.09 1.10 2/451 11266
/proc/meminfo: memFree=17333184/32950928 swapFree=60044444/67111528
[pid=11266] ppid=11264 vsize=141280 CPUtime=0.84 cores=1,3,5,7
/proc/11266/stat : 11266 (mono) R 11264 11266 9891 0 -1 4202496 8808 0 0 0 82 2 0 0 18 0 9 0 799238938 144670720 8711 33554432000 4194304 7232020 140734222691104 18446744073709551615 1101445648 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/11266/statm: 35320 8711 995 742 0 27891 0
[pid=11266/tid=11267] ppid=11264 vsize=141280 CPUtime=0.03 cores=1,3,5,7
/proc/11266/task/11267/stat : 11267 (mono) S 11264 11266 9891 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 9 0 799238938 144670720 8711 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 3 0 0 0
[pid=11266/tid=11268] ppid=11264 vsize=141280 CPUtime=0.03 cores=1,3,5,7
/proc/11266/task/11268/stat : 11268 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 799238938 144670720 8711 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 7 0 0 0
[pid=11266/tid=11269] ppid=11264 vsize=141280 CPUtime=0.03 cores=1,3,5,7
/proc/11266/task/11269/stat : 11269 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 799238938 144670720 8711 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 1 0 0 0
[pid=11266/tid=11270] ppid=11264 vsize=141280 CPUtime=0.02 cores=1,3,5,7
/proc/11266/task/11270/stat : 11270 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 799238938 144670720 8711 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 3 0 0 0
[pid=11266/tid=11271] ppid=11264 vsize=141280 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11271/stat : 11271 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 799238938 144670720 8711 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 1 0 0 0
[pid=11266/tid=11272] ppid=11264 vsize=141280 CPUtime=0.04 cores=1,3,5,7
/proc/11266/task/11272/stat : 11272 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 799238938 144670720 8711 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11273] ppid=11264 vsize=141280 CPUtime=0.03 cores=1,3,5,7
/proc/11266/task/11273/stat : 11273 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 799238938 144670720 8711 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 7 0 0 0
[pid=11266/tid=11274] ppid=11264 vsize=141280 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11274/stat : 11274 (mono) S 11264 11266 9891 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 799238939 144670720 8711 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907314097 0 0 4096 545260780 18446604471152761920 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 141280

[startup+1.50059 s]
/proc/loadavg: 1.34 1.09 1.10 3/460 11276
/proc/meminfo: memFree=17273040/32950928 swapFree=60044444/67111528
[pid=11266] ppid=11264 vsize=302756 CPUtime=1.73 cores=1,3,5,7
/proc/11266/stat : 11266 (mono) R 11264 11266 9891 0 -1 4202496 49472 0 0 0 167 6 0 0 18 0 9 0 799238938 310022144 49375 33554432000 4194304 7232020 140734222691104 18446744073709551615 1101464373 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/11266/statm: 75689 49375 1000 742 0 68260 0
[pid=11266/tid=11267] ppid=11264 vsize=302756 CPUtime=0.05 cores=1,3,5,7
/proc/11266/task/11267/stat : 11267 (mono) S 11264 11266 9891 0 -1 4202560 4 0 0 0 5 0 0 0 15 0 9 0 799238938 310022144 49375 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 1 0 0 0
[pid=11266/tid=11268] ppid=11264 vsize=302756 CPUtime=0.04 cores=1,3,5,7
/proc/11266/task/11268/stat : 11268 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 799238938 310022144 49375 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11269] ppid=11264 vsize=302756 CPUtime=0.04 cores=1,3,5,7
/proc/11266/task/11269/stat : 11269 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 799238938 310022144 49376 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 1 0 0 0
[pid=11266/tid=11270] ppid=11264 vsize=302756 CPUtime=0.03 cores=1,3,5,7
/proc/11266/task/11270/stat : 11270 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 799238938 310022144 49376 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11271] ppid=11264 vsize=302756 CPUtime=0.02 cores=1,3,5,7
/proc/11266/task/11271/stat : 11271 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 799238938 310022144 49377 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 3 0 0 0
[pid=11266/tid=11272] ppid=11264 vsize=302756 CPUtime=0.06 cores=1,3,5,7
/proc/11266/task/11272/stat : 11272 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 799238938 310022144 49378 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 7 0 0 0
[pid=11266/tid=11273] ppid=11264 vsize=302756 CPUtime=0.04 cores=1,3,5,7
/proc/11266/task/11273/stat : 11273 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 799238938 310022144 49379 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 7 0 0 0
[pid=11266/tid=11274] ppid=11264 vsize=302756 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11274/stat : 11274 (mono) S 11264 11266 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799238939 310022144 49379 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907314097 0 0 4096 545260780 18446604471152761920 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 302756

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

[startup+1.90052 s]
/proc/loadavg: 1.34 1.09 1.10 3/460 11276
/proc/meminfo: memFree=17273040/32950928 swapFree=60044444/67111528
[pid=11266] ppid=11264 vsize=353068 CPUtime=2.13 cores=1,3,5,7
/proc/11266/stat : 11266 (mono) R 11264 11266 9891 0 -1 4202496 62257 0 0 0 206 7 0 0 18 0 9 0 799238938 361541632 62160 33554432000 4194304 7232020 140734222691104 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/11266/statm: 88267 62164 1002 742 0 80838 0
[pid=11266/tid=11267] ppid=11264 vsize=353068 CPUtime=0.05 cores=1,3,5,7
/proc/11266/task/11267/stat : 11267 (mono) S 11264 11266 9891 0 -1 4202560 4 0 0 0 5 0 0 0 15 0 9 0 799238938 361541632 62165 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 1 0 0 0
[pid=11266/tid=11268] ppid=11264 vsize=353068 CPUtime=0.04 cores=1,3,5,7
/proc/11266/task/11268/stat : 11268 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 799238938 361541632 62169 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11269] ppid=11264 vsize=353068 CPUtime=0.04 cores=1,3,5,7
/proc/11266/task/11269/stat : 11269 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 799238938 361541632 62172 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 1 0 0 0
[pid=11266/tid=11270] ppid=11264 vsize=353068 CPUtime=0.03 cores=1,3,5,7
/proc/11266/task/11270/stat : 11270 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 799238938 361541632 62173 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 5 0 0 0
[pid=11266/tid=11271] ppid=11264 vsize=353068 CPUtime=0.02 cores=1,3,5,7
/proc/11266/task/11271/stat : 11271 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 799238938 361541632 62176 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 3 0 0 0
[pid=11266/tid=11272] ppid=11264 vsize=353068 CPUtime=0.06 cores=1,3,5,7
/proc/11266/task/11272/stat : 11272 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 799238938 361541632 62178 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 7 0 0 0
[pid=11266/tid=11273] ppid=11264 vsize=353068 CPUtime=0.04 cores=1,3,5,7
/proc/11266/task/11273/stat : 11273 (mono) S 11264 11266 9891 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 799238938 361541632 62182 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907306393 0 0 4096 545260780 18446604471152761920 0 0 -1 7 0 0 0
[pid=11266/tid=11274] ppid=11264 vsize=353068 CPUtime=0 cores=1,3,5,7
/proc/11266/task/11274/stat : 11274 (mono) S 11264 11266 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799238939 361541632 62183 33554432000 4194304 7232020 140734222691104 18446744073709551615 231907314097 0 0 4096 545260780 18446604471152761920 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 353068

[startup+2.00048 s]
/proc/loadavg: 1.34 1.09 1.10 3/460 11276
/proc/meminfo: memFree=17273040/32950928 swapFree=60044444/67111528
[pid=11266] ppid=11264 vsize=0 CPUtime=2.25 cores=1,3,5,7
/proc/11266/stat : 11266 (mono) Z 11264 11266 9891 0 -1 4202524 70724 0 0 0 216 9 0 0 18 0 1 0 799238938 0 0 33554432000 0 0 0 0 0 0 0 4096 545259520 18446744073709551615 0 0 17 7 0 0 0
/proc/11266/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 2.00062
CPU time (s): 2.26466
CPU user time (s): 2.16967
CPU system time (s): 0.094985
CPU usage (%): 113.197
Max. virtual memory (cumulated for all children) (KiB): 353068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.16967
system time used= 0.094985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70724
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= 3369
involuntary context switches= 607

runsolver used 0.014997 second user time and 0.033994 second system time

The end