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/randc192b7.cudf.easy.log.runsolver ./apt-get-paranoid-1.0 /home/misc2010/data/2010/easy//randc192b7.cudf /home/misc2010/tmp/201012061533/apt-get-paranoid-1.0/randc192b7.cudf.easy.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.89 1.46 1.31 4/46 2148
/proc/meminfo: memFree=690232/1048576 swapFree=2078696/2097144
[pid=2138] ppid=2137 vsize=2580 CPUtime=0.03
/proc/2138/stat : 2138 (apt-get-paranoi) S 2137 2138 2059 34821 2220 4202496 563 1858 0 0 0 1 0 2 25 0 1 0 876718392 2641920 283 1283457024 134512640 135304128 4287195840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2138/statm: 645 283 240 194 0 31 0
[pid=2148] ppid=2138 vsize=3268 CPUtime=0.02
/proc/2148/stat : 2148 (cudftodeb.nativ) R 2138 2138 2059 34821 2220 4202496 504 0 0 0 2 0 0 0 25 0 1 0 876718395 3346432 431 1283457024 134512640 135004320 4293960064 18446744073709551615 134960017 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/2148/statm: 817 431 224 121 0 209 0

[startup+0.213467 s]
/proc/loadavg: 1.89 1.46 1.31 4/46 2148
/proc/meminfo: memFree=690232/1048576 swapFree=2078696/2097144
[pid=2138] ppid=2137 vsize=2580 CPUtime=0.03
/proc/2138/stat : 2138 (apt-get-paranoi) S 2137 2138 2059 34821 2220 4202496 563 1858 0 0 0 1 0 2 25 0 1 0 876718392 2641920 283 1283457024 134512640 135304128 4287195840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2138/statm: 645 283 240 194 0 31 0
[pid=2148] ppid=2138 vsize=6988 CPUtime=0.18
/proc/2148/stat : 2148 (cudftodeb.nativ) R 2138 2138 2059 34821 2220 4202496 1410 0 0 0 18 0 0 0 25 0 1 0 876718395 7155712 1337 1283457024 134512640 135004320 4293960064 18446744073709551615 134945149 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/2148/statm: 1747 1337 225 121 0 1139 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9568

[startup+0.303485 s]
/proc/loadavg: 1.89 1.46 1.31 4/46 2148
/proc/meminfo: memFree=690232/1048576 swapFree=2078696/2097144
[pid=2138] ppid=2137 vsize=2580 CPUtime=0.03
/proc/2138/stat : 2138 (apt-get-paranoi) S 2137 2138 2059 34821 2220 4202496 563 1858 0 0 0 1 0 2 25 0 1 0 876718392 2641920 283 1283457024 134512640 135304128 4287195840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2138/statm: 645 283 240 194 0 31 0
[pid=2148] ppid=2138 vsize=8724 CPUtime=0.28
/proc/2148/stat : 2148 (cudftodeb.nativ) R 2138 2138 2059 34821 2220 4202496 1863 0 0 0 28 0 0 0 25 0 1 0 876718395 8933376 1790 1283457024 134512640 135004320 4293960064 18446744073709551615 134986420 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/2148/statm: 2181 1790 225 121 0 1573 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 11304

[startup+0.41352 s]
/proc/loadavg: 1.89 1.46 1.31 4/46 2148
/proc/meminfo: memFree=690232/1048576 swapFree=2078696/2097144
[pid=2138] ppid=2137 vsize=2580 CPUtime=0.03
/proc/2138/stat : 2138 (apt-get-paranoi) S 2137 2138 2059 34821 2220 4202496 563 1858 0 0 0 1 0 2 25 0 1 0 876718392 2641920 283 1283457024 134512640 135304128 4287195840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2138/statm: 645 283 240 194 0 31 0
[pid=2148] ppid=2138 vsize=11204 CPUtime=0.38
/proc/2148/stat : 2148 (cudftodeb.nativ) R 2138 2138 2059 34821 2220 4202496 2440 0 0 0 38 0 0 0 25 0 1 0 876718395 11472896 2367 1283457024 134512640 135004320 4293960064 18446744073709551615 134945052 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/2148/statm: 2801 2367 225 121 0 2193 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 13784

[startup+0.703575 s]
/proc/loadavg: 1.89 1.46 1.31 4/46 2148
/proc/meminfo: memFree=690232/1048576 swapFree=2078696/2097144
[pid=2138] ppid=2137 vsize=2580 CPUtime=0.03
/proc/2138/stat : 2138 (apt-get-paranoi) S 2137 2138 2059 34821 2220 4202496 563 1858 0 0 0 1 0 2 25 0 1 0 876718392 2641920 283 1283457024 134512640 135304128 4287195840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2138/statm: 645 283 240 194 0 31 0
[pid=2148] ppid=2138 vsize=17564 CPUtime=0.68
/proc/2148/stat : 2148 (cudftodeb.nativ) R 2138 2138 2059 34821 2220 4202496 4007 0 0 0 68 0 0 0 25 0 1 0 876718395 17985536 3934 1283457024 134512640 135004320 4293960064 18446744073709551615 134953023 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/2148/statm: 4391 3934 225 121 0 3783 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 20144

[startup+1.50378 s]
/proc/loadavg: 1.89 1.46 1.31 2/47 2149
/proc/meminfo: memFree=665440/1048576 swapFree=2078696/2097144
[pid=2138] ppid=2137 vsize=2580 CPUtime=0.03
/proc/2138/stat : 2138 (apt-get-paranoi) S 2137 2138 2059 34821 2220 4202496 563 1858 0 0 0 1 0 2 25 0 1 0 876718392 2641920 283 1283457024 134512640 135304128 4287195840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2138/statm: 645 283 240 194 0 31 0
[pid=2148] ppid=2138 vsize=33932 CPUtime=1.47
/proc/2148/stat : 2148 (cudftodeb.nativ) R 2138 2138 2059 34821 2220 4202496 8053 0 0 0 147 0 0 0 25 0 1 0 876718395 34746368 7980 1283457024 134512640 135004320 4293960064 18446744073709551615 134946686 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/2148/statm: 8483 7980 225 121 0 7875 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 36512

[startup+3.10402 s]
/proc/loadavg: 1.89 1.46 1.31 2/47 2149
/proc/meminfo: memFree=640516/1048576 swapFree=2078696/2097144
[pid=2138] ppid=2137 vsize=2580 CPUtime=0.03
/proc/2138/stat : 2138 (apt-get-paranoi) S 2137 2138 2059 34821 2220 4202496 563 1858 0 0 0 1 0 2 25 0 1 0 876718392 2641920 283 1283457024 134512640 135304128 4287195840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2138/statm: 645 283 240 194 0 31 0
[pid=2148] ppid=2138 vsize=31476 CPUtime=3.06
/proc/2148/stat : 2148 (cudftodeb.nativ) R 2138 2138 2059 34821 2220 4202496 12312 0 0 0 301 5 0 0 25 0 1 0 876718395 32231424 7420 1283457024 134512640 135004320 4293960064 18446744073709551615 134525952 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/2148/statm: 7869 7420 237 121 0 7261 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34056

[startup+6.30709 s]
/proc/loadavg: 1.82 1.45 1.31 2/47 2159
/proc/meminfo: memFree=641004/1048576 swapFree=2078696/2097144
[pid=2138] ppid=2137 vsize=2588 CPUtime=4.44
/proc/2138/stat : 2138 (apt-get-paranoi) S 2137 2138 2059 34821 2220 4202496 724 25569 0 178 0 2 424 18 18 0 1 0 876718392 2650112 294 1283457024 134512640 135304128 4287195840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2138/statm: 647 294 249 194 0 33 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 2588
heavy processes:

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

[startup+6.50712 s]
/proc/loadavg: 1.82 1.45 1.31 2/47 2160
/proc/meminfo: memFree=630712/1048576 swapFree=2078696/2097144
[pid=2138] ppid=2137 vsize=2588 CPUtime=4.44
/proc/2138/stat : 2138 (apt-get-paranoi) S 2137 2138 2059 34821 2220 4202496 724 25569 0 178 0 2 424 18 18 0 1 0 876718392 2650112 294 1283457024 134512640 135304128 4287195840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2138/statm: 647 294 249 194 0 33 0
[pid=2160] ppid=2138 vsize=20744 CPUtime=0.83
/proc/2160/stat : 2160 (aptsolutions.na) R 2138 2138 2059 34821 2220 4202496 4833 0 0 0 80 3 0 0 21 0 1 0 876718960 21241856 4720 1283457024 134512640 134971616 4290135472 18446744073709551615 134945367 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/2160/statm: 5186 4720 204 113 0 4588 0
Current children cumulated CPU time (s) 5.27
Current children cumulated vsize (KiB) 23332

[startup+6.90723 s]
/proc/loadavg: 1.82 1.45 1.31 2/47 2160
/proc/meminfo: memFree=622528/1048576 swapFree=2078696/2097144
[pid=2138] ppid=2137 vsize=2588 CPUtime=4.44
/proc/2138/stat : 2138 (apt-get-paranoi) S 2137 2138 2059 34821 2220 4202496 724 25569 0 178 0 2 424 18 18 0 1 0 876718392 2650112 294 1283457024 134512640 135304128 4287195840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2138/statm: 647 294 249 194 0 33 0
[pid=2160] ppid=2138 vsize=29424 CPUtime=1.22
/proc/2160/stat : 2160 (aptsolutions.na) R 2138 2138 2059 34821 2220 4202496 6964 0 0 0 118 4 0 0 22 0 1 0 876718960 30130176 6851 1283457024 134512640 134971616 4290135472 18446744073709551615 134918722 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/2160/statm: 7356 6851 204 113 0 6758 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 32012

[startup+7.30736 s]
/proc/loadavg: 1.82 1.45 1.31 2/47 2160
/proc/meminfo: memFree=622528/1048576 swapFree=2078696/2097144
[pid=2138] ppid=2137 vsize=2588 CPUtime=4.44
/proc/2138/stat : 2138 (apt-get-paranoi) S 2137 2138 2059 34821 2220 4202496 724 25569 0 178 0 2 424 18 18 0 1 0 876718392 2650112 294 1283457024 134512640 135304128 4287195840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2138/statm: 647 294 249 194 0 33 0
[pid=2160] ppid=2138 vsize=43932 CPUtime=1.62
/proc/2160/stat : 2160 (aptsolutions.na) R 2138 2138 2059 34821 2220 4202496 10431 0 0 0 156 6 0 0 24 0 1 0 876718960 44986368 10316 1283457024 134512640 134971616 4290135472 18446744073709551615 134912812 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/2160/statm: 10983 10316 209 113 0 10385 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 46520

Child status: 0
Real time (s): 7.34879
CPU time (s): 6.12838
CPU user time (s): 5.83236
CPU system time (s): 0.296018
CPU usage (%): 83.393
Max. virtual memory (cumulated for all children) (KiB): 104092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.83236
system time used= 0.296018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37730
page faults= 178
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123
involuntary context switches= 131

runsolver used 0 second user time and 0 second system time

The end