runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

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: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012070034/aptitude-trendy-1.0/rand915.sarge-etch-lenny-squeeze.cudf.sarge-etch-lenny-squeeze.log.runsolver ./aptitude-trendy-1.0 /home/misc2010/data/icse/sarge-etch-lenny-squeeze/rand915.sarge-etch-lenny-squeeze.cudf /home/misc2010/tmp/201012070034/aptitude-trendy-1.0/rand915.sarge-etch-lenny-squeeze.cudf.sarge-etch-lenny-squeeze.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.02 1.01 1.03 2/44 27987
/proc/meminfo: memFree=659296/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2584 CPUtime=0.04
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 570 1861 0 0 0 0 0 4 25 0 1 0 883326292 2646016 284 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 646 284 240 194 0 32 0
[pid=27997] ppid=27987 vsize=688 CPUtime=0
/proc/27997/stat : 27997 (cudftodeb.nativ) D 27987 27987 4159 34819 4229 4194304 60 0 0 0 0 0 0 0 25 0 1 0 883326297 704512 1 1283457024 0 0 4288648046 18446744073709551615 4294960130 0 0 0 0 18446744071564332000 0 0 17 0 0 0 0
/proc/27997/statm: 172 1 0 0 0 7 0

[startup+0.23288 s]
/proc/loadavg: 1.02 1.01 1.03 2/44 27987
/proc/meminfo: memFree=659296/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2584 CPUtime=0.04
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 570 1861 0 0 0 0 0 4 25 0 1 0 883326292 2646016 284 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 646 284 240 194 0 32 0
[pid=27997] ppid=27987 vsize=6488 CPUtime=0.17
/proc/27997/stat : 27997 (cudftodeb.nativ) R 27987 27987 4159 34819 4229 4202496 1324 0 3 0 17 0 0 0 25 0 1 0 883326297 6643712 1254 1283457024 134512640 135004320 4288645824 18446744073709551615 134986416 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/27997/statm: 1622 1254 225 121 0 1014 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9072

[startup+0.312897 s]
/proc/loadavg: 1.02 1.01 1.03 2/44 27987
/proc/meminfo: memFree=659296/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2584 CPUtime=0.04
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 570 1861 0 0 0 0 0 4 25 0 1 0 883326292 2646016 284 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 646 284 240 194 0 32 0
[pid=27997] ppid=27987 vsize=8224 CPUtime=0.25
/proc/27997/stat : 27997 (cudftodeb.nativ) R 27987 27987 4159 34819 4229 4202496 1753 0 3 0 25 0 0 0 25 0 1 0 883326297 8421376 1683 1283457024 134512640 135004320 4288645824 18446744073709551615 134951655 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/27997/statm: 2056 1683 225 121 0 1448 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10808

[startup+0.412923 s]
/proc/loadavg: 1.02 1.01 1.03 2/44 27987
/proc/meminfo: memFree=659296/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2584 CPUtime=0.04
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 570 1861 0 0 0 0 0 4 25 0 1 0 883326292 2646016 284 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 646 284 240 194 0 32 0
[pid=27997] ppid=27987 vsize=10456 CPUtime=0.35
/proc/27997/stat : 27997 (cudftodeb.nativ) R 27987 27987 4159 34819 4229 4202496 2265 0 3 0 35 0 0 0 25 0 1 0 883326297 10706944 2195 1283457024 134512640 135004320 4288645824 18446744073709551615 134986315 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/27997/statm: 2614 2195 225 121 0 2006 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 13040

[startup+0.71299 s]
/proc/loadavg: 1.02 1.01 1.03 2/44 27987
/proc/meminfo: memFree=659296/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2584 CPUtime=0.04
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 570 1861 0 0 0 0 0 4 25 0 1 0 883326292 2646016 284 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 646 284 240 194 0 32 0
[pid=27997] ppid=27987 vsize=16816 CPUtime=0.64
/proc/27997/stat : 27997 (cudftodeb.nativ) R 27987 27987 4159 34819 4229 4202496 3805 0 3 0 64 0 0 0 25 0 1 0 883326297 17219584 3735 1283457024 134512640 135004320 4288645824 18446744073709551615 134959849 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/27997/statm: 4204 3735 225 121 0 3596 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 19400

[startup+1.51315 s]
/proc/loadavg: 1.02 1.01 1.03 2/46 27998
/proc/meminfo: memFree=616064/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2584 CPUtime=0.04
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 570 1861 0 0 0 0 0 4 25 0 1 0 883326292 2646016 284 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 646 284 240 194 0 32 0
[pid=27997] ppid=27987 vsize=32260 CPUtime=1.44
/proc/27997/stat : 27997 (cudftodeb.nativ) R 27987 27987 4159 34819 4229 4202496 7623 0 3 0 140 4 0 0 25 0 1 0 883326297 33034240 7553 1283457024 134512640 135004320 4288645824 18446744073709551615 134949674 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/27997/statm: 8065 7553 225 121 0 7457 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 34844

[startup+3.11358 s]
/proc/loadavg: 1.02 1.01 1.03 2/46 27998
/proc/meminfo: memFree=594984/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2584 CPUtime=0.04
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 570 1861 0 0 0 0 0 4 25 0 1 0 883326292 2646016 284 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 646 284 240 194 0 32 0
[pid=27997] ppid=27987 vsize=62900 CPUtime=3.04
/proc/27997/stat : 27997 (cudftodeb.nativ) R 27987 27987 4159 34819 4229 4202496 15102 0 3 0 292 12 0 0 25 0 1 0 883326297 64409600 15032 1283457024 134512640 135004320 4288645824 18446744073709551615 134943774 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/27997/statm: 15725 15032 225 121 0 15117 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 65484

[startup+6.31459 s]
/proc/loadavg: 1.02 1.01 1.03 2/46 27998
/proc/meminfo: memFree=532612/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2584 CPUtime=0.04
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 570 1861 0 0 0 0 0 4 25 0 1 0 883326292 2646016 284 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 646 284 240 194 0 32 0
[pid=27997] ppid=27987 vsize=115712 CPUtime=6.21
/proc/27997/stat : 27997 (cudftodeb.nativ) R 27987 27987 4159 34819 4229 4202496 28147 0 3 0 605 16 0 0 25 0 1 0 883326297 118489088 28077 1283457024 134512640 135004320 4288645824 18446744073709551615 4158785059 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/27997/statm: 28928 28077 237 121 0 28320 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 118296

[startup+12.7056 s]
/proc/loadavg: 1.10 1.03 1.03 1/46 28009
/proc/meminfo: memFree=533764/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2588 CPUtime=8.8
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 695 34592 0 4 0 0 850 30 19 0 1 0 883326292 2650112 294 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 647 294 249 194 0 33 0
[pid=28008] ppid=27987 vsize=40516 CPUtime=1.49
/proc/28008/stat : 28008 (aptitude) R 27987 27987 4159 34819 4229 4202496 14552 242 409 0 138 11 0 0 18 0 1 0 883327285 41488384 7945 1283457024 134512640 137933492 4291208928 18446744073709551615 4159351195 0 134217728 4096 0 0 0 0 17 0 0 0 0
/proc/28008/statm: 10129 7945 7276 836 0 640 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 43104

[startup+25.5083 s]
/proc/loadavg: 1.08 1.03 1.03 2/47 28012
/proc/meminfo: memFree=446300/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2588 CPUtime=8.8
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 695 34592 0 4 0 0 850 30 19 0 1 0 883326292 2650112 294 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 647 294 249 194 0 33 0
[pid=28008] ppid=27987 vsize=140796 CPUtime=14.15
/proc/28008/stat : 28008 (aptitude) S 27987 27987 4159 34819 4229 4202496 37893 653 416 0 1395 20 0 0 15 0 2 0 883327285 144175104 29078 1283457024 134512640 137933492 4291208928 18446744073709551615 4294960130 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28008/statm: 35199 29078 7709 836 0 25710 0
[pid=28008/tid=28010] ppid=27987 vsize=140796 CPUtime=10.07
/proc/28008/task/28010/stat : 28010 (aptitude) R 27987 27987 4159 34819 4229 4202560 18429 653 1 0 1003 4 0 0 25 0 2 0 883327612 144175104 29078 1283457024 134512640 137933492 4291208928 18446744073709551615 136542487 0 134217728 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.95
Current children cumulated vsize (KiB) 143384

[startup+51.1069 s]
/proc/loadavg: 1.05 1.02 1.03 2/47 28012
/proc/meminfo: memFree=337800/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2588 CPUtime=8.8
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 695 34592 0 4 0 0 850 30 19 0 1 0 883326292 2650112 294 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 647 294 249 194 0 33 0
[pid=28008] ppid=27987 vsize=250244 CPUtime=39.74
/proc/28008/stat : 28008 (aptitude) S 27987 27987 4159 34819 4229 4202496 65252 653 416 0 3940 34 0 0 15 0 2 0 883327285 256249856 56437 1283457024 134512640 137933492 4291208928 18446744073709551615 4294960130 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28008/statm: 62561 56437 7710 836 0 53072 0
[pid=28008/tid=28010] ppid=27987 vsize=250244 CPUtime=35.66
/proc/28008/task/28010/stat : 28010 (aptitude) R 27987 27987 4159 34819 4229 4202560 45787 653 1 0 3548 18 0 0 25 0 2 0 883327612 256249856 56437 1283457024 134512640 137933492 4291208928 18446744073709551615 135959385 0 134217728 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.54
Current children cumulated vsize (KiB) 252832

[startup+102.305 s]
/proc/loadavg: 1.02 1.02 1.03 2/47 28012
/proc/meminfo: memFree=122116/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2588 CPUtime=8.8
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 695 34592 0 4 0 0 850 30 19 0 1 0 883326292 2650112 294 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 647 294 249 194 0 33 0
[pid=28008] ppid=27987 vsize=469232 CPUtime=90.86
/proc/28008/stat : 28008 (aptitude) S 27987 27987 4159 34819 4229 4202496 119977 653 420 0 9032 54 0 0 15 0 2 0 883327285 480493568 111166 1283457024 134512640 137933492 4291208928 18446744073709551615 4294960130 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28008/statm: 117308 111166 7723 836 0 107819 0
[pid=28008/tid=28010] ppid=27987 vsize=469232 CPUtime=86.78
/proc/28008/task/28010/stat : 28010 (aptitude) R 27987 27987 4159 34819 4229 4202560 100506 653 4 0 8640 38 0 0 25 0 2 0 883327612 480493568 111166 1283457024 134512640 137933492 4291208928 18446744073709551615 136243007 0 134217728 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.66
Current children cumulated vsize (KiB) 471820

[startup+162.307 s]
/proc/loadavg: 1.00 1.01 1.02 3/47 28012
/proc/meminfo: memFree=5152/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2588 CPUtime=8.8
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 695 34592 0 4 0 0 850 30 19 0 1 0 883326292 2650112 294 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 647 294 249 194 0 33 0
[pid=28008] ppid=27987 vsize=768012 CPUtime=150.59
/proc/28008/stat : 28008 (aptitude) R 27987 27987 4159 34819 4229 4202496 196370 653 437 0 14966 93 0 0 18 0 2 0 883327285 786444288 186029 1283457024 134512640 137933492 4291208928 18446744073709551615 4294960130 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28008/statm: 192003 186029 7773 836 0 182507 0
[pid=28008/tid=28010] ppid=27987 vsize=768012 CPUtime=144.03
/proc/28008/task/28010/stat : 28010 (aptitude) S 27987 27987 4159 34819 4229 4202560 175248 653 5 0 14342 61 0 0 18 0 2 0 883327612 786444288 186029 1283457024 134512640 137933492 4291208928 18446744073709551615 4294960130 0 134217728 4096 0 18446612133393160064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 159.39
Current children cumulated vsize (KiB) 770600

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

[startup+163.308 s]
/proc/loadavg: 1.00 1.01 1.02 2/46 28013
/proc/meminfo: memFree=22012/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2588 CPUtime=159.92
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 722 232748 0 452 0 0 15860 132 18 0 1 0 883326292 2650112 294 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 647 294 249 194 0 33 0
Current children cumulated CPU time (s) 159.92
Current children cumulated vsize (KiB) 2588

[startup+164.908 s]
/proc/loadavg: 1.00 1.01 1.02 2/46 28014
/proc/meminfo: memFree=700252/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2588 CPUtime=159.92
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 722 232748 0 452 0 0 15860 132 18 0 1 0 883326292 2650112 294 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 647 294 249 194 0 33 0
[pid=28014] ppid=27987 vsize=41768 CPUtime=1.89
/proc/28014/stat : 28014 (aptsolutions.na) R 27987 27987 4159 34819 4229 4202496 10005 0 9 0 183 6 0 0 24 0 1 0 883342588 42770432 9901 1283457024 134512640 134971616 4289671360 18446744073709551615 134954075 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/28014/statm: 10442 9901 204 113 0 9844 0
Current children cumulated CPU time (s) 161.81
Current children cumulated vsize (KiB) 44356

[startup+165.708 s]
/proc/loadavg: 1.00 1.01 1.02 2/46 28014
/proc/meminfo: memFree=678428/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2588 CPUtime=159.92
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 722 232748 0 452 0 0 15860 132 18 0 1 0 883326292 2650112 294 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 647 294 249 194 0 33 0
[pid=28014] ppid=27987 vsize=56648 CPUtime=2.7
/proc/28014/stat : 28014 (aptsolutions.na) R 27987 27987 4159 34819 4229 4202496 13678 0 9 0 262 8 0 0 25 0 1 0 883342588 58007552 13574 1283457024 134512640 134971616 4289671360 18446744073709551615 134954119 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/28014/statm: 14162 13574 204 113 0 13564 0
Current children cumulated CPU time (s) 162.62
Current children cumulated vsize (KiB) 59236

[startup+166.108 s]
/proc/loadavg: 1.00 1.01 1.02 2/46 28014
/proc/meminfo: memFree=678428/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2588 CPUtime=159.92
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 722 232748 0 452 0 0 15860 132 18 0 1 0 883326292 2650112 294 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 647 294 249 194 0 33 0
[pid=28014] ppid=27987 vsize=64840 CPUtime=3.09
/proc/28014/stat : 28014 (aptsolutions.na) R 27987 27987 4159 34819 4229 4202496 15609 0 9 0 300 9 0 0 25 0 1 0 883342588 66396160 15505 1283457024 134512640 134971616 4289671360 18446744073709551615 134953673 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/28014/statm: 16210 15505 204 113 0 15612 0
Current children cumulated CPU time (s) 163.01
Current children cumulated vsize (KiB) 67428

[startup+166.508 s]
/proc/loadavg: 1.00 1.01 1.02 2/46 28014
/proc/meminfo: memFree=657720/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2588 CPUtime=159.92
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 722 232748 0 452 0 0 15860 132 18 0 1 0 883326292 2650112 294 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 647 294 249 194 0 33 0
[pid=28014] ppid=27987 vsize=74576 CPUtime=3.49
/proc/28014/stat : 28014 (aptsolutions.na) R 27987 27987 4159 34819 4229 4202496 18021 0 9 0 340 9 0 0 25 0 1 0 883342588 76365824 17917 1283457024 134512640 134971616 4289671360 18446744073709551615 134620360 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/28014/statm: 18644 17917 209 113 0 18046 0
Current children cumulated CPU time (s) 163.41
Current children cumulated vsize (KiB) 77164

[startup+166.608 s]
/proc/loadavg: 1.00 1.01 1.02 2/46 28014
/proc/meminfo: memFree=657720/1048576 swapFree=2077608/2097144
[pid=27987] ppid=27986 vsize=2588 CPUtime=159.92
/proc/27987/stat : 27987 (aptitude-trendy) S 27986 27987 4159 34819 4229 4202496 722 232748 0 452 0 0 15860 132 18 0 1 0 883326292 2650112 294 1283457024 134512640 135304128 4288760816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27987/statm: 647 294 249 194 0 33 0
[pid=28014] ppid=27987 vsize=80432 CPUtime=3.59
/proc/28014/stat : 28014 (aptsolutions.na) R 27987 27987 4159 34819 4229 4202496 19234 0 9 0 348 11 0 0 25 0 1 0 883342588 82362368 19130 1283457024 134512640 134971616 4289671360 18446744073709551615 134927958 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/28014/statm: 20108 19130 209 113 0 19510 0
Current children cumulated CPU time (s) 163.51
Current children cumulated vsize (KiB) 83020

Child status: 0
Real time (s): 166.621
CPU time (s): 163.542
CPU user time (s): 162.09
CPU system time (s): 1.45209
CPU usage (%): 98.1519
Max. virtual memory (cumulated for all children) (KiB): 772916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 162.09
system time used= 1.45209
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252859
page faults= 461
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 687
involuntary context switches= 2647

runsolver used 0 second user time and 0.004 second system time

The end