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/201007051233/apt-pbo-paranoid-1.0.5/e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/debian-dudf//e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/apt-pbo-paranoid-1.0.5/e0bd67a6-56d0-11df-b11f-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.35 1.11 1.03 4/34 16282 /proc/meminfo: memFree=851012/1048576 swapFree=2094596/2097144 [pid=16280] ppid=16279 vsize=2384 CPUtime=0 /proc/16280/stat : 16280 (sh) S 16279 16280 3447 769 3447 4202496 389 306 0 0 0 0 0 0 25 0 1 0 528666733 2441216 265 1283457024 134512640 135191968 4294951616 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16280/statm: 596 265 227 166 0 28 0 [pid=16282] ppid=16280 vsize=4596 CPUtime=0.02 /proc/16282/stat : 16282 (apt-pbo) R 16280 16280 3447 769 3447 4202496 856 0 0 0 2 0 0 0 25 0 1 0 528666733 4706304 781 1283457024 134512640 135758360 4290993744 18446744073709551615 4158761525 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16282/statm: 1149 781 391 305 0 420 0 [startup+0.140405 s] /proc/loadavg: 1.35 1.11 1.03 4/34 16282 /proc/meminfo: memFree=851012/1048576 swapFree=2094596/2097144 [pid=16280] ppid=16279 vsize=2384 CPUtime=0 /proc/16280/stat : 16280 (sh) S 16279 16280 3447 769 3447 4202496 389 306 0 0 0 0 0 0 25 0 1 0 528666733 2441216 265 1283457024 134512640 135191968 4294951616 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16280/statm: 596 265 227 166 0 28 0 [pid=16282] ppid=16280 vsize=8192 CPUtime=0.13 /proc/16282/stat : 16282 (apt-pbo) R 16280 16280 3447 769 3447 4202496 1652 722 0 0 12 0 0 1 25 0 1 0 528666733 8388608 1412 1283457024 134512640 135758360 4290993744 18446744073709551615 134893877 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16282/statm: 2048 1412 630 305 0 821 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 10576 [startup+0.20778 s] /proc/loadavg: 1.35 1.11 1.03 4/34 16282 /proc/meminfo: memFree=851012/1048576 swapFree=2094596/2097144 [pid=16280] ppid=16279 vsize=2384 CPUtime=0 /proc/16280/stat : 16280 (sh) S 16279 16280 3447 769 3447 4202496 389 306 0 0 0 0 0 0 25 0 1 0 528666733 2441216 265 1283457024 134512640 135191968 4294951616 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16280/statm: 596 265 227 166 0 28 0 [pid=16282] ppid=16280 vsize=8588 CPUtime=0.19 /proc/16282/stat : 16282 (apt-pbo) R 16280 16280 3447 769 3447 4202496 1940 722 0 0 18 0 0 1 25 0 1 0 528666733 8794112 1527 1283457024 134512640 135758360 4290993744 18446744073709551615 135510495 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16282/statm: 2147 1527 630 305 0 920 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 10972 [startup+0.307807 s] /proc/loadavg: 1.35 1.11 1.03 4/34 16282 /proc/meminfo: memFree=851012/1048576 swapFree=2094596/2097144 [pid=16280] ppid=16279 vsize=2384 CPUtime=0 /proc/16280/stat : 16280 (sh) S 16279 16280 3447 769 3447 4202496 389 306 0 0 0 0 0 0 25 0 1 0 528666733 2441216 265 1283457024 134512640 135191968 4294951616 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16280/statm: 596 265 227 166 0 28 0 [pid=16282] ppid=16280 vsize=9244 CPUtime=0.29 /proc/16282/stat : 16282 (apt-pbo) R 16280 16280 3447 769 3447 4202496 2091 722 0 0 28 0 0 1 25 0 1 0 528666733 9465856 1678 1283457024 134512640 135758360 4290993744 18446744073709551615 135136952 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16282/statm: 2311 1678 630 305 0 1084 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11628 [startup+0.707912 s] /proc/loadavg: 1.35 1.11 1.03 4/34 16282 /proc/meminfo: memFree=851012/1048576 swapFree=2094596/2097144 [pid=16280] ppid=16279 vsize=2384 CPUtime=0 /proc/16280/stat : 16280 (sh) S 16279 16280 3447 769 3447 4202496 389 306 0 0 0 0 0 0 25 0 1 0 528666733 2441216 265 1283457024 134512640 135191968 4294951616 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16280/statm: 596 265 227 166 0 28 0 [pid=16282] ppid=16280 vsize=11952 CPUtime=0.69 /proc/16282/stat : 16282 (apt-pbo) R 16280 16280 3447 769 3447 4202496 2800 722 0 0 68 0 0 1 25 0 1 0 528666733 12238848 2348 1283457024 134512640 135758360 4290993744 18446744073709551615 134959078 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16282/statm: 2988 2348 630 305 0 1761 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14336 [startup+1.50812 s] /proc/loadavg: 1.35 1.11 1.03 2/35 16285 /proc/meminfo: memFree=837712/1048576 swapFree=2094596/2097144 [pid=16280] ppid=16279 vsize=2384 CPUtime=0 /proc/16280/stat : 16280 (sh) S 16279 16280 3447 769 3447 4202496 389 306 0 0 0 0 0 0 25 0 1 0 528666733 2441216 265 1283457024 134512640 135191968 4294951616 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16280/statm: 596 265 227 166 0 28 0 [pid=16282] ppid=16280 vsize=17096 CPUtime=1.49 /proc/16282/stat : 16282 (apt-pbo) R 16280 16280 3447 769 3447 4202496 4109 722 0 0 146 2 0 1 25 0 1 0 528666733 17506304 3646 1283457024 134512640 135758360 4290993744 18446744073709551615 4158785137 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16282/statm: 4274 3646 630 305 0 3047 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19480 [startup+3.10853 s] /proc/loadavg: 1.35 1.11 1.03 2/35 16285 /proc/meminfo: memFree=824308/1048576 swapFree=2094596/2097144 [pid=16280] ppid=16279 vsize=2384 CPUtime=0 /proc/16280/stat : 16280 (sh) S 16279 16280 3447 769 3447 4202496 389 306 0 0 0 0 0 0 25 0 1 0 528666733 2441216 265 1283457024 134512640 135191968 4294951616 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16280/statm: 596 265 227 166 0 28 0 [pid=16282] ppid=16280 vsize=27348 CPUtime=3.07 /proc/16282/stat : 16282 (apt-pbo) R 16280 16280 3447 769 3447 4202496 6686 722 0 0 302 4 0 1 25 0 1 0 528666733 28004352 6215 1283457024 134512640 135758360 4290993744 18446744073709551615 134866635 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16282/statm: 6837 6215 630 305 0 5610 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 29732 [startup+6.3098 s] /proc/loadavg: 1.33 1.10 1.02 2/36 16299 /proc/meminfo: memFree=784252/1048576 swapFree=2094596/2097144 [pid=16280] ppid=16279 vsize=2384 CPUtime=0 /proc/16280/stat : 16280 (sh) S 16279 16280 3447 769 3447 4202496 389 306 0 0 0 0 0 0 25 0 1 0 528666733 2441216 265 1283457024 134512640 135191968 4294951616 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16280/statm: 596 265 227 166 0 28 0 [pid=16282] ppid=16280 vsize=44540 CPUtime=6.08 /proc/16282/stat : 16282 (apt-pbo) R 16280 16280 3447 769 3447 4202496 11551 12694 0 166 478 7 102 21 20 0 1 0 528666733 45608960 10393 1283457024 134512640 135758360 4290993744 18446744073709551615 134966096 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16282/statm: 11135 10393 3472 305 0 6969 0 [pid=16299] ppid=16282 vsize=0 CPUtime=0.12 /proc/16299/stat : 16299 (wbo) Z 16282 16280 3447 769 3447 4202508 703 0 0 0 12 0 0 0 19 0 1 0 528667217 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/16299/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 46924 Solver just ended. Dumping a history of the last processes samples [startup+6.40982 s] /proc/loadavg: 1.33 1.10 1.02 2/36 16299 /proc/meminfo: memFree=784252/1048576 swapFree=2094596/2097144 [pid=16280] ppid=16279 vsize=2384 CPUtime=0 /proc/16280/stat : 16280 (sh) S 16279 16280 3447 769 3447 4202496 389 306 0 0 0 0 0 0 25 0 1 0 528666733 2441216 265 1283457024 134512640 135191968 4294951616 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16280/statm: 596 265 227 166 0 28 0 [pid=16282] ppid=16280 vsize=44540 CPUtime=6.18 /proc/16282/stat : 16282 (apt-pbo) R 16280 16280 3447 769 3447 4202496 11551 12694 0 166 488 7 102 21 20 0 1 0 528666733 45608960 10393 1283457024 134512640 135758360 4290993744 18446744073709551615 134947200 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16282/statm: 11135 10393 3472 305 0 6969 0 [pid=16299] ppid=16282 vsize=0 CPUtime=0.12 /proc/16299/stat : 16299 (wbo) Z 16282 16280 3447 769 3447 4202508 703 0 0 0 12 0 0 0 19 0 1 0 528667217 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/16299/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 46924 [startup+9.61109 s] /proc/loadavg: 1.30 1.10 1.02 2/38 16308 /proc/meminfo: memFree=781120/1048576 swapFree=2094596/2097144 [pid=16280] ppid=16279 vsize=2384 CPUtime=0 /proc/16280/stat : 16280 (sh) S 16279 16280 3447 769 3447 4202496 389 306 0 0 0 0 0 0 25 0 1 0 528666733 2441216 265 1283457024 134512640 135191968 4294951616 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16280/statm: 596 265 227 166 0 28 0 [pid=16282] ppid=16280 vsize=44744 CPUtime=8.94 /proc/16282/stat : 16282 (apt-pbo) R 16280 16280 3447 769 3447 4202496 13508 24445 0 166 548 9 297 40 18 0 1 0 528666733 45817856 10476 1283457024 134512640 135758360 4290993744 18446744073709551615 135357035 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16282/statm: 11186 10476 3473 305 0 7020 0 Current children cumulated CPU time (s) 8.94 Current children cumulated vsize (KiB) 47128 [startup+10.4114 s] /proc/loadavg: 1.30 1.10 1.02 3/38 16313 /proc/meminfo: memFree=780872/1048576 swapFree=2094596/2097144 [pid=16280] ppid=16279 vsize=2384 CPUtime=0 /proc/16280/stat : 16280 (sh) S 16279 16280 3447 769 3447 4202496 389 306 0 0 0 0 0 0 25 0 1 0 528666733 2441216 265 1283457024 134512640 135191968 4294951616 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16280/statm: 596 265 227 166 0 28 0 [pid=16282] ppid=16280 vsize=44744 CPUtime=10.28 /proc/16282/stat : 16282 (apt-pbo) R 16280 16280 3447 769 3447 4202496 14083 30532 0 166 554 9 417 48 18 0 1 0 528666733 45817856 10476 1283457024 134512640 135758360 4290993744 18446744073709551615 4158927264 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16282/statm: 11186 10476 3473 305 0 7020 0 Current children cumulated CPU time (s) 10.28 Current children cumulated vsize (KiB) 47128 [startup+10.8114 s] /proc/loadavg: 1.30 1.10 1.02 3/38 16313 /proc/meminfo: memFree=780872/1048576 swapFree=2094596/2097144 [pid=16280] ppid=16279 vsize=2384 CPUtime=0 /proc/16280/stat : 16280 (sh) S 16279 16280 3447 769 3447 4202496 389 306 0 0 0 0 0 0 25 0 1 0 528666733 2441216 265 1283457024 134512640 135191968 4294951616 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16280/statm: 596 265 227 166 0 28 0 [pid=16282] ppid=16280 vsize=44744 CPUtime=10.28 /proc/16282/stat : 16282 (apt-pbo) S 16280 16280 3447 769 3447 4202496 14295 30532 0 166 554 9 417 48 18 0 1 0 528666733 45817856 10476 1283457024 134512640 135758360 4290993744 18446744073709551615 4159669582 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16282/statm: 11186 10476 3473 305 0 7020 0 Current children cumulated CPU time (s) 10.28 Current children cumulated vsize (KiB) 47128 [startup+11.2116 s] /proc/loadavg: 1.30 1.10 1.02 2/36 16314 /proc/meminfo: memFree=780656/1048576 swapFree=2094596/2097144 [pid=16280] ppid=16279 vsize=2384 CPUtime=0 /proc/16280/stat : 16280 (sh) S 16279 16280 3447 769 3447 4202496 389 306 0 0 0 0 0 0 25 0 1 0 528666733 2441216 265 1283457024 134512640 135191968 4294951616 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16280/statm: 596 265 227 166 0 28 0 [pid=16282] ppid=16280 vsize=44744 CPUtime=10.53 /proc/16282/stat : 16282 (apt-pbo) R 16280 16280 3447 769 3447 4202496 17677 30532 0 166 579 9 417 48 18 0 1 0 528666733 45817856 10476 1283457024 134512640 135758360 4290993744 18446744073709551615 135143181 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16282/statm: 11186 10476 3473 305 0 7020 0 [pid=16314] ppid=16282 vsize=0 CPUtime=0.57 /proc/16314/stat : 16314 (wbo) Z 16282 16280 3447 769 3447 4202508 1190 0 0 0 57 0 0 0 21 0 1 0 528667772 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/16314/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 11.1 Current children cumulated vsize (KiB) 47128 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16280 and gives # childrusage.ru_utime.tv_sec=9 # childrusage.ru_utime.tv_usec=980623 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=580036 # CPU time returned by wait4() is 10.5607 # while last known CPU time is 11.1 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 11.2272 CPU time (s): 11.1 CPU user time (s): 10.53 CPU system time (s): 0.57 CPU usage (%): 98.8674 Max. virtual memory (cumulated for all children) (KiB): 67008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.98062 system time used= 0.580036 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49176 page faults= 166 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2423 involuntary context switches= 2194 runsolver used 0 second user time and 0 second system time The end