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/randfa4522.cudf.impossible.log.runsolver ./apt-get-paranoid-1.0 /home/misc2010/data/2010/impossible//randfa4522.cudf /home/misc2010/tmp/201012061533/apt-get-paranoid-1.0/randfa4522.cudf.impossible.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.52 1.34 1.27 4/46 32322
/proc/meminfo: memFree=786800/1048576 swapFree=2078672/2097144
[pid=32320] ppid=32319 vsize=2576 CPUtime=0
/proc/32320/stat : 32320 (apt-get-paranoi) S 32319 32320 2059 34821 2220 4202496 399 156 0 0 0 0 0 0 18 0 1 0 876649010 2637824 276 1283457024 134512640 135304128 4293937440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32320/statm: 644 276 235 194 0 30 0
[pid=32322] ppid=32320 vsize=1756 CPUtime=0.01
/proc/32322/stat : 32322 (mkdir) R 32320 32320 2059 34821 2220 4194304 170 0 0 0 0 1 0 0 25 0 1 0 876649010 1798144 103 1283457024 134512640 134551716 4292726928 18446744073709551615 4294960130 0 0 0 0 0 0 0 17 0 0 0 0
/proc/32322/statm: 439 103 83 10 0 44 0

[startup+0.193102 s]
/proc/loadavg: 1.52 1.34 1.27 4/46 32322
/proc/meminfo: memFree=786800/1048576 swapFree=2078672/2097144
[pid=32320] ppid=32319 vsize=2584 CPUtime=0.07
/proc/32320/stat : 32320 (apt-get-paranoi) S 32319 32320 2059 34821 2220 4202496 566 1859 0 0 0 0 0 7 25 0 1 0 876649010 2646016 283 1283457024 134512640 135304128 4293937440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32320/statm: 646 283 240 194 0 32 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2584

[startup+0.2031 s]
/proc/loadavg: 1.52 1.34 1.27 4/46 32322
/proc/meminfo: memFree=786800/1048576 swapFree=2078672/2097144
[pid=32320] ppid=32319 vsize=2584 CPUtime=0.07
/proc/32320/stat : 32320 (apt-get-paranoi) S 32319 32320 2059 34821 2220 4202496 566 1859 0 0 0 0 0 7 25 0 1 0 876649010 2646016 283 1283457024 134512640 135304128 4293937440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32320/statm: 646 283 240 194 0 32 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2584

[startup+0.313125 s]
/proc/loadavg: 1.52 1.34 1.27 4/46 32322
/proc/meminfo: memFree=786800/1048576 swapFree=2078672/2097144
[pid=32320] ppid=32319 vsize=2584 CPUtime=0.07
/proc/32320/stat : 32320 (apt-get-paranoi) S 32319 32320 2059 34821 2220 4202496 566 1859 0 0 0 0 0 7 25 0 1 0 876649010 2646016 283 1283457024 134512640 135304128 4293937440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32320/statm: 646 283 240 194 0 32 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2584

[startup+0.713195 s]
/proc/loadavg: 1.52 1.34 1.27 4/46 32322
/proc/meminfo: memFree=786800/1048576 swapFree=2078672/2097144
[pid=32320] ppid=32319 vsize=2584 CPUtime=0.07
/proc/32320/stat : 32320 (apt-get-paranoi) S 32319 32320 2059 34821 2220 4202496 566 1859 0 0 0 0 0 7 25 0 1 0 876649010 2646016 283 1283457024 134512640 135304128 4293937440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32320/statm: 646 283 240 194 0 32 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2584

[startup+1.51365 s]
/proc/loadavg: 1.52 1.34 1.27 2/47 32331
/proc/meminfo: memFree=737692/1048576 swapFree=2078672/2097144
[pid=32320] ppid=32319 vsize=2584 CPUtime=0.07
/proc/32320/stat : 32320 (apt-get-paranoi) S 32319 32320 2059 34821 2220 4202496 566 1859 0 0 0 0 0 7 25 0 1 0 876649010 2646016 283 1283457024 134512640 135304128 4293937440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32320/statm: 646 283 240 194 0 32 0
[pid=32331] ppid=32320 vsize=33188 CPUtime=1.44
/proc/32331/stat : 32331 (cudftodeb.nativ) R 32320 32320 2059 34821 2220 4202496 7885 0 0 0 140 4 0 0 25 0 1 0 876649017 33984512 7812 1283457024 134512640 135004320 4289621328 18446744073709551615 134947997 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/32331/statm: 8297 7812 225 121 0 7689 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 35772

[startup+3.11401 s]
/proc/loadavg: 1.52 1.34 1.27 2/47 32331
/proc/meminfo: memFree=715496/1048576 swapFree=2078672/2097144
[pid=32320] ppid=32319 vsize=2584 CPUtime=0.07
/proc/32320/stat : 32320 (apt-get-paranoi) S 32319 32320 2059 34821 2220 4202496 566 1859 0 0 0 0 0 7 25 0 1 0 876649010 2646016 283 1283457024 134512640 135304128 4293937440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32320/statm: 646 283 240 194 0 32 0
[pid=32331] ppid=32320 vsize=65128 CPUtime=3.04
/proc/32331/stat : 32331 (cudftodeb.nativ) R 32320 32320 2059 34821 2220 4202496 15706 0 0 0 296 8 0 0 25 0 1 0 876649017 66691072 15631 1283457024 134512640 135004320 4289621328 18446744073709551615 134809814 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/32331/statm: 16282 15631 225 121 0 15674 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 67712

[startup+6.3051 s]
/proc/loadavg: 1.48 1.34 1.27 2/47 32331
/proc/meminfo: memFree=654488/1048576 swapFree=2078672/2097144
[pid=32320] ppid=32319 vsize=2584 CPUtime=0.07
/proc/32320/stat : 32320 (apt-get-paranoi) S 32319 32320 2059 34821 2220 4202496 566 1859 0 0 0 0 0 7 25 0 1 0 876649010 2646016 283 1283457024 134512640 135304128 4293937440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32320/statm: 646 283 240 194 0 32 0
[pid=32331] ppid=32320 vsize=122872 CPUtime=6.22
/proc/32331/stat : 32331 (cudftodeb.nativ) R 32320 32320 2059 34821 2220 4202496 29884 0 0 0 610 12 0 0 25 0 1 0 876649017 125820928 29809 1283457024 134512640 135004320 4289621328 18446744073709551615 134996501 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/32331/statm: 30718 29809 236 121 0 30110 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 125456

[startup+12.7072 s]
/proc/loadavg: 1.44 1.33 1.27 2/47 32331
/proc/meminfo: memFree=564464/1048576 swapFree=2078672/2097144
[pid=32320] ppid=32319 vsize=2584 CPUtime=0.07
/proc/32320/stat : 32320 (apt-get-paranoi) S 32319 32320 2059 34821 2220 4202496 566 1859 0 0 0 0 0 7 25 0 1 0 876649010 2646016 283 1283457024 134512640 135304128 4293937440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32320/statm: 646 283 240 194 0 32 0
[pid=32331] ppid=32320 vsize=97444 CPUtime=12.62
/proc/32331/stat : 32331 (cudftodeb.nativ) R 32320 32320 2059 34821 2220 4202496 44667 0 0 0 1238 24 0 0 25 0 1 0 876649017 99782656 23607 1283457024 134512640 135004320 4289621328 18446744073709551615 134948065 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/32331/statm: 24361 23607 237 121 0 23753 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 100028

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

[startup+12.8072 s]
/proc/loadavg: 1.44 1.33 1.27 2/47 32331
/proc/meminfo: memFree=564464/1048576 swapFree=2078672/2097144
[pid=32320] ppid=32319 vsize=2584 CPUtime=0.07
/proc/32320/stat : 32320 (apt-get-paranoi) S 32319 32320 2059 34821 2220 4202496 566 1859 0 0 0 0 0 7 25 0 1 0 876649010 2646016 283 1283457024 134512640 135304128 4293937440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32320/statm: 646 283 240 194 0 32 0
[pid=32331] ppid=32320 vsize=97444 CPUtime=12.72
/proc/32331/stat : 32331 (cudftodeb.nativ) R 32320 32320 2059 34821 2220 4202496 44667 0 0 0 1248 24 0 0 25 0 1 0 876649017 99782656 23607 1283457024 134512640 135004320 4289621328 18446744073709551615 134866499 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/32331/statm: 24361 23607 237 121 0 23753 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 100028

[startup+16.0064 s]
/proc/loadavg: 1.40 1.32 1.27 2/47 32341
/proc/meminfo: memFree=687364/1048576 swapFree=2078672/2097144
[pid=32320] ppid=32319 vsize=2676 CPUtime=13.98
/proc/32320/stat : 32320 (apt-get-paranoi) S 32319 32320 2059 34821 2220 4202496 745 49807 0 1 0 0 1354 44 18 0 1 0 876649010 2740224 315 1283457024 134512640 135304128 4293937440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32320/statm: 669 315 249 194 0 55 0
[pid=32341] ppid=32320 vsize=101468 CPUtime=0.64
/proc/32341/stat : 32341 (apt-get) R 32320 32320 2059 34821 2220 4202496 4255 0 226 0 62 2 0 0 22 0 1 0 876650542 103903232 4406 1283457024 134512640 134619611 4289291920 18446744073709551615 4159216946 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/32341/statm: 25367 4406 4352 27 0 61 0
Current children cumulated CPU time (s) 14.62
Current children cumulated vsize (KiB) 104144

[startup+17.6041 s]
/proc/loadavg: 1.40 1.32 1.27 1/47 32341
/proc/meminfo: memFree=612900/1048576 swapFree=2078672/2097144
[pid=32320] ppid=32319 vsize=2676 CPUtime=13.98
/proc/32320/stat : 32320 (apt-get-paranoi) S 32319 32320 2059 34821 2220 4202496 745 49807 0 1 0 0 1354 44 18 0 1 0 876649010 2740224 315 1283457024 134512640 135304128 4293937440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32320/statm: 669 315 249 194 0 55 0
[pid=32341] ppid=32320 vsize=101468 CPUtime=2.01
/proc/32341/stat : 32341 (apt-get) D 32320 32320 2059 34821 2220 4202496 9310 0 532 0 185 16 0 0 23 0 1 0 876650542 103903232 9767 1283457024 134512640 134619611 4289291920 18446744073709551615 4294960130 0 0 4096 134217728 18446744071564332537 0 0 17 0 0 0 0
/proc/32341/statm: 25367 9767 9713 27 0 61 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 104144

[startup+19.2042 s]
/proc/loadavg: 1.37 1.32 1.27 2/47 32341
/proc/meminfo: memFree=612968/1048576 swapFree=2078672/2097144
[pid=32320] ppid=32319 vsize=2676 CPUtime=13.98
/proc/32320/stat : 32320 (apt-get-paranoi) S 32319 32320 2059 34821 2220 4202496 745 49807 0 1 0 0 1354 44 18 0 1 0 876649010 2740224 315 1283457024 134512640 135304128 4293937440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32320/statm: 669 315 249 194 0 55 0
[pid=32341] ppid=32320 vsize=101468 CPUtime=2.05
/proc/32341/stat : 32341 (apt-get) D 32320 32320 2059 34821 2220 4202496 9363 0 535 0 187 18 0 0 18 0 1 0 876650542 103903232 9823 1283457024 134512640 134619611 4289291920 18446744073709551615 4294960130 0 0 4096 134217728 18446744071564332000 0 0 17 0 0 0 0
/proc/32341/statm: 25367 9823 9769 27 0 61 0
Current children cumulated CPU time (s) 16.03
Current children cumulated vsize (KiB) 104144

[startup+20.0102 s]
/proc/loadavg: 1.37 1.32 1.27 2/47 32341
/proc/meminfo: memFree=609496/1048576 swapFree=2078672/2097144
[pid=32320] ppid=32319 vsize=2676 CPUtime=13.98
/proc/32320/stat : 32320 (apt-get-paranoi) S 32319 32320 2059 34821 2220 4202496 745 49807 0 1 0 0 1354 44 18 0 1 0 876649010 2740224 315 1283457024 134512640 135304128 4293937440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32320/statm: 669 315 249 194 0 55 0
[pid=32341] ppid=32320 vsize=44448 CPUtime=2.85
/proc/32341/stat : 32341 (apt-get) R 32320 32320 2059 34821 2220 4202496 19058 0 535 0 265 20 0 0 19 0 1 0 876650542 45514752 10054 1283457024 134512640 134619611 4289291920 18446744073709551615 4159229765 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/32341/statm: 11112 10054 9290 27 0 799 0
Current children cumulated CPU time (s) 16.83
Current children cumulated vsize (KiB) 47124

[startup+20.4102 s]
/proc/loadavg: 1.37 1.32 1.27 2/47 32341
/proc/meminfo: memFree=609496/1048576 swapFree=2078672/2097144
[pid=32320] ppid=32319 vsize=2676 CPUtime=13.98
/proc/32320/stat : 32320 (apt-get-paranoi) S 32319 32320 2059 34821 2220 4202496 745 49807 0 1 0 0 1354 44 18 0 1 0 876649010 2740224 315 1283457024 134512640 135304128 4293937440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32320/statm: 669 315 249 194 0 55 0
[pid=32341] ppid=32320 vsize=44448 CPUtime=3.25
/proc/32341/stat : 32341 (apt-get) R 32320 32320 2059 34821 2220 4202496 19099 0 535 0 305 20 0 0 19 0 1 0 876650542 45514752 10095 1283457024 134512640 134619611 4289291920 18446744073709551615 4159310288 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/32341/statm: 11112 10095 9292 27 0 799 0
Current children cumulated CPU time (s) 17.23
Current children cumulated vsize (KiB) 47124

[startup+20.5102 s]
/proc/loadavg: 1.37 1.32 1.27 2/47 32341
/proc/meminfo: memFree=609496/1048576 swapFree=2078672/2097144
[pid=32320] ppid=32319 vsize=2676 CPUtime=13.98
/proc/32320/stat : 32320 (apt-get-paranoi) S 32319 32320 2059 34821 2220 4202496 745 49807 0 1 0 0 1354 44 18 0 1 0 876649010 2740224 315 1283457024 134512640 135304128 4293937440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32320/statm: 669 315 249 194 0 55 0
[pid=32341] ppid=32320 vsize=44836 CPUtime=3.35
/proc/32341/stat : 32341 (apt-get) R 32320 32320 2059 34821 2220 4202496 19152 0 535 0 315 20 0 0 19 0 1 0 876650542 45912064 10148 1283457024 134512640 134619611 4289291920 18446744073709551615 4156492621 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/32341/statm: 11209 10148 9294 27 0 896 0
Current children cumulated CPU time (s) 17.33
Current children cumulated vsize (KiB) 47512

Child status: 100
Real time (s): 20.5936
CPU time (s): 17.4411
CPU user time (s): 16.765
CPU system time (s): 0.676042
CPU usage (%): 84.6917
Max. virtual memory (cumulated for all children) (KiB): 185340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.765
system time used= 0.676042
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69723
page faults= 536
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 251
involuntary context switches= 349

runsolver used 0.004 second user time and 0 second system time

The end