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/201012061533/apt-get-paranoid-1.0/e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./apt-get-paranoid-1.0 /home/misc2010/data/2010/debian-dudf//e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf /home/misc2010/tmp/201012061533/apt-get-paranoid-1.0/e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debian-dudf.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.41 1.25 1.23 4/46 871
/proc/meminfo: memFree=790584/1048576 swapFree=2078696/2097144
[pid=870] ppid=869 vsize=2568 CPUtime=0
/proc/870/stat : 870 (apt-get-paranoi) S 869 870 2059 34821 2220 4202496 365 0 0 0 0 0 0 0 18 0 1 0 876693090 2629632 272 1283457024 134512640 135304128 4288637920 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/870/statm: 642 272 232 194 0 28 0
[pid=871] ppid=870 vsize=2568 CPUtime=0
/proc/871/stat : 871 (apt-get-paranoi) R 870 870 2059 34821 2220 4202560 145 0 0 0 0 0 0 0 25 0 1 0 876693090 2629632 162 1283457024 134512640 135304128 4288637920 18446744073709551615 4160471532 0 0 0 65538 0 0 0 17 0 0 0 0
/proc/871/statm: 642 162 121 194 0 28 0

[startup+0.14203 s]
/proc/loadavg: 1.41 1.25 1.23 4/46 871
/proc/meminfo: memFree=790584/1048576 swapFree=2078696/2097144
[pid=870] ppid=869 vsize=2580 CPUtime=0.06
/proc/870/stat : 870 (apt-get-paranoi) R 869 870 2059 34821 2220 4202496 547 1860 0 0 0 0 0 6 25 0 1 0 876693090 2641920 283 1283457024 134512640 135304128 4288637920 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/870/statm: 645 283 240 194 0 31 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2580

[startup+0.212124 s]
/proc/loadavg: 1.41 1.25 1.23 4/46 871
/proc/meminfo: memFree=790584/1048576 swapFree=2078696/2097144
[pid=870] ppid=869 vsize=2580 CPUtime=0.06
/proc/870/stat : 870 (apt-get-paranoi) S 869 870 2059 34821 2220 4202496 565 1860 0 0 0 0 0 6 25 0 1 0 876693090 2641920 283 1283457024 134512640 135304128 4288637920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/870/statm: 645 283 240 194 0 31 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2580

[startup+0.312165 s]
/proc/loadavg: 1.41 1.25 1.23 4/46 871
/proc/meminfo: memFree=790584/1048576 swapFree=2078696/2097144
[pid=870] ppid=869 vsize=2580 CPUtime=0.06
/proc/870/stat : 870 (apt-get-paranoi) S 869 870 2059 34821 2220 4202496 565 1860 0 0 0 0 0 6 25 0 1 0 876693090 2641920 283 1283457024 134512640 135304128 4288637920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/870/statm: 645 283 240 194 0 31 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2580

[startup+0.712184 s]
/proc/loadavg: 1.41 1.25 1.23 4/46 871
/proc/meminfo: memFree=790584/1048576 swapFree=2078696/2097144
[pid=870] ppid=869 vsize=2580 CPUtime=0.06
/proc/870/stat : 870 (apt-get-paranoi) S 869 870 2059 34821 2220 4202496 565 1860 0 0 0 0 0 6 25 0 1 0 876693090 2641920 283 1283457024 134512640 135304128 4288637920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/870/statm: 645 283 240 194 0 31 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2580

[startup+1.51241 s]
/proc/loadavg: 1.41 1.25 1.23 2/47 881
/proc/meminfo: memFree=748288/1048576 swapFree=2078696/2097144
[pid=870] ppid=869 vsize=2580 CPUtime=0.06
/proc/870/stat : 870 (apt-get-paranoi) S 869 870 2059 34821 2220 4202496 565 1860 0 0 0 0 0 6 25 0 1 0 876693090 2641920 283 1283457024 134512640 135304128 4288637920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/870/statm: 645 283 240 194 0 31 0
[pid=881] ppid=870 vsize=31020 CPUtime=1.45
/proc/881/stat : 881 (cudftodeb.nativ) R 870 870 2059 34821 2220 4202496 7353 0 0 0 143 2 0 0 25 0 1 0 876693096 31764480 7280 1283457024 134512640 135004320 4294068608 18446744073709551615 134986534 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/881/statm: 7755 7280 225 121 0 7147 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 33600

[startup+3.11286 s]
/proc/loadavg: 1.45 1.26 1.23 2/47 881
/proc/meminfo: memFree=727952/1048576 swapFree=2078696/2097144
[pid=870] ppid=869 vsize=2580 CPUtime=0.06
/proc/870/stat : 870 (apt-get-paranoi) S 869 870 2059 34821 2220 4202496 565 1860 0 0 0 0 0 6 25 0 1 0 876693090 2641920 283 1283457024 134512640 135304128 4288637920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/870/statm: 645 283 240 194 0 31 0
[pid=881] ppid=870 vsize=59668 CPUtime=3.05
/proc/881/stat : 881 (cudftodeb.nativ) R 870 870 2059 34821 2220 4202496 14390 0 0 0 300 5 0 0 25 0 1 0 876693096 61100032 14317 1283457024 134512640 135004320 4294068608 18446744073709551615 134978996 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/881/statm: 14917 14317 225 121 0 14309 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 62248

[startup+6.31389 s]
/proc/loadavg: 1.45 1.26 1.23 2/47 881
/proc/meminfo: memFree=671656/1048576 swapFree=2078696/2097144
[pid=870] ppid=869 vsize=2580 CPUtime=0.06
/proc/870/stat : 870 (apt-get-paranoi) S 869 870 2059 34821 2220 4202496 565 1860 0 0 0 0 0 6 25 0 1 0 876693090 2641920 283 1283457024 134512640 135304128 4288637920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/870/statm: 645 283 240 194 0 31 0
[pid=881] ppid=870 vsize=114224 CPUtime=6.25
/proc/881/stat : 881 (cudftodeb.nativ) R 870 870 2059 34821 2220 4202496 27783 0 0 0 615 10 0 0 25 0 1 0 876693096 116965376 27710 1283457024 134512640 135004320 4294068608 18446744073709551615 134960684 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/881/statm: 28556 27710 237 121 0 27948 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 116804

[startup+12.7074 s]
/proc/loadavg: 1.38 1.25 1.23 1/47 891
/proc/meminfo: memFree=671276/1048576 swapFree=2078696/2097144
[pid=870] ppid=869 vsize=2588 CPUtime=9.09
/proc/870/stat : 870 (apt-get-paranoi) S 869 870 2059 34821 2220 4202496 700 34079 0 1 0 0 882 27 18 0 1 0 876693090 2650112 294 1283457024 134512640 135304128 4288637920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/870/statm: 647 294 249 194 0 33 0
[pid=891] ppid=870 vsize=31624 CPUtime=1.44
/proc/891/stat : 891 (apt-get) R 870 870 2059 34821 2220 4202496 13135 0 363 0 134 10 0 0 18 0 1 0 876694106 32382976 7016 1283457024 134512640 134619611 4286607488 18446744073709551615 4159259379 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/891/statm: 7906 7016 6421 27 0 600 0
Current children cumulated CPU time (s) 10.53
Current children cumulated vsize (KiB) 34212

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

[startup+12.8078 s]
/proc/loadavg: 1.38 1.25 1.23 1/47 891
/proc/meminfo: memFree=671276/1048576 swapFree=2078696/2097144
[pid=870] ppid=869 vsize=2588 CPUtime=9.09
/proc/870/stat : 870 (apt-get-paranoi) S 869 870 2059 34821 2220 4202496 700 34079 0 1 0 0 882 27 18 0 1 0 876693090 2650112 294 1283457024 134512640 135304128 4288637920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/870/statm: 647 294 249 194 0 33 0
[pid=891] ppid=870 vsize=29456 CPUtime=1.53
/proc/891/stat : 891 (apt-get) R 870 870 2059 34821 2220 4202496 13255 0 363 0 143 10 0 0 18 0 1 0 876694106 30162944 5481 1283457024 134512640 134619611 4286607488 18446744073709551615 4294960130 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/891/statm: 7364 5481 5427 27 0 58 0
Current children cumulated CPU time (s) 10.62
Current children cumulated vsize (KiB) 32044

Child status: 100
Real time (s): 12.8132
CPU time (s): 10.6447
CPU user time (s): 10.2526
CPU system time (s): 0.392024
CPU usage (%): 83.0759
Max. virtual memory (cumulated for all children) (KiB): 116804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2526
system time used= 0.392024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48046
page faults= 364
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 200
involuntary context switches= 240

runsolver used 0 second user time and 0 second system time

The end