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-trendy-1.0.5/eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/debian-dudf//eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/apt-pbo-trendy-1.0.5/eeee44ce-5407-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.14 1.00 0.99 4/33 17661 /proc/meminfo: memFree=825540/1048576 swapFree=2094592/2097144 [pid=17661] ppid=17660 vsize=708 CPUtime=0 /proc/17661/stat : 17661 (sh) R 17660 17661 3447 769 3447 4194304 75 0 0 0 0 0 0 0 25 0 1 0 528847294 724992 2 1283457024 0 0 4287484899 18446744073709551615 4157703210 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17661/statm: 177 2 0 0 0 6 0 [startup+0.200434 s] /proc/loadavg: 1.14 1.00 0.99 4/33 17661 /proc/meminfo: memFree=825540/1048576 swapFree=2094592/2097144 [pid=17661] ppid=17660 vsize=2388 CPUtime=0 /proc/17661/stat : 17661 (sh) S 17660 17661 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528847294 2445312 267 1283457024 134512640 135191968 4287482800 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17661/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.310469 s] /proc/loadavg: 1.14 1.00 0.99 4/33 17661 /proc/meminfo: memFree=825540/1048576 swapFree=2094592/2097144 [pid=17661] ppid=17660 vsize=2388 CPUtime=0 /proc/17661/stat : 17661 (sh) S 17660 17661 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528847294 2445312 267 1283457024 134512640 135191968 4287482800 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17661/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.410488 s] /proc/loadavg: 1.14 1.00 0.99 4/33 17661 /proc/meminfo: memFree=825540/1048576 swapFree=2094592/2097144 [pid=17661] ppid=17660 vsize=2388 CPUtime=0 /proc/17661/stat : 17661 (sh) S 17660 17661 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528847294 2445312 267 1283457024 134512640 135191968 4287482800 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17661/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.71056 s] /proc/loadavg: 1.14 1.00 0.99 4/33 17661 /proc/meminfo: memFree=825540/1048576 swapFree=2094592/2097144 [pid=17661] ppid=17660 vsize=2388 CPUtime=0 /proc/17661/stat : 17661 (sh) S 17660 17661 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528847294 2445312 267 1283457024 134512640 135191968 4287482800 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17661/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+1.51075 s] /proc/loadavg: 1.14 1.00 0.99 2/35 17666 /proc/meminfo: memFree=813388/1048576 swapFree=2094592/2097144 [pid=17661] ppid=17660 vsize=2388 CPUtime=0 /proc/17661/stat : 17661 (sh) S 17660 17661 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528847294 2445312 267 1283457024 134512640 135191968 4287482800 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17661/statm: 597 267 227 166 0 29 0 [pid=17664] ppid=17661 vsize=16844 CPUtime=1.49 /proc/17664/stat : 17664 (apt-pbo) R 17661 17661 3447 769 3447 4202496 4050 722 0 0 146 3 0 0 25 0 1 0 528847295 17248256 3589 1283457024 134512640 135758360 4292579280 18446744073709551615 134981145 0 0 128 0 0 0 0 17 0 0 0 0 /proc/17664/statm: 4211 3589 630 305 0 2984 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19232 [startup+3.1112 s] /proc/loadavg: 1.14 1.00 0.99 2/35 17666 /proc/meminfo: memFree=803716/1048576 swapFree=2094592/2097144 [pid=17661] ppid=17660 vsize=2388 CPUtime=0 /proc/17661/stat : 17661 (sh) S 17660 17661 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528847294 2445312 267 1283457024 134512640 135191968 4287482800 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17661/statm: 597 267 227 166 0 29 0 [pid=17664] ppid=17661 vsize=26828 CPUtime=3.09 /proc/17664/stat : 17664 (apt-pbo) R 17661 17661 3447 769 3447 4202496 6557 722 0 0 304 5 0 0 25 0 1 0 528847295 27471872 6088 1283457024 134512640 135758360 4292579280 18446744073709551615 135511015 0 0 128 0 0 0 0 17 0 0 0 0 /proc/17664/statm: 6707 6088 630 305 0 5480 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29216 [startup+6.30714 s] /proc/loadavg: 1.13 1.00 0.99 1/36 17680 /proc/meminfo: memFree=763152/1048576 swapFree=2094592/2097144 [pid=17661] ppid=17660 vsize=2388 CPUtime=0 /proc/17661/stat : 17661 (sh) S 17660 17661 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528847294 2445312 267 1283457024 134512640 135191968 4287482800 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17661/statm: 597 267 227 166 0 29 0 [pid=17664] ppid=17661 vsize=45136 CPUtime=5.66 /proc/17664/stat : 17664 (apt-pbo) D 17661 17661 3447 769 3447 4202496 11720 12793 0 168 381 13 152 20 18 0 1 0 528847295 46219264 10566 1283457024 134512640 135758360 4292579280 18446744073709551615 4159489358 0 0 128 0 18446744071564332000 0 0 17 0 0 0 0 /proc/17664/statm: 11284 10566 3509 305 0 7082 0 [pid=17680] ppid=17664 vsize=0 CPUtime=0.47 /proc/17680/stat : 17680 (wbo) Z 17664 17661 3447 769 3447 4202508 1445 0 13 0 46 1 0 0 19 0 1 0 528847849 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/17680/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.13 Current children cumulated vsize (KiB) 47524 [startup+12.7141 s] /proc/loadavg: 1.12 1.00 0.99 2/38 17689 /proc/meminfo: memFree=758852/1048576 swapFree=2094592/2097144 [pid=17661] ppid=17660 vsize=2388 CPUtime=0 /proc/17661/stat : 17661 (sh) S 17660 17661 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528847294 2445312 267 1283457024 134512640 135191968 4287482800 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17661/statm: 597 267 227 166 0 29 0 [pid=17664] ppid=17661 vsize=46384 CPUtime=12.39 /proc/17664/stat : 17664 (apt-pbo) S 17661 17661 3447 769 3447 4202496 18589 27065 0 181 590 18 586 45 20 0 1 0 528847295 47497216 10869 1283457024 134512640 135758360 4292579280 18446744073709551615 4159489358 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17664/statm: 11596 10869 3511 305 0 7394 0 Current children cumulated CPU time (s) 12.39 Current children cumulated vsize (KiB) 48772 Solver just ended. Dumping a history of the last processes samples [startup+12.9141 s] /proc/loadavg: 1.12 1.00 0.99 2/38 17689 /proc/meminfo: memFree=758852/1048576 swapFree=2094592/2097144 [pid=17661] ppid=17660 vsize=2388 CPUtime=0 /proc/17661/stat : 17661 (sh) S 17660 17661 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528847294 2445312 267 1283457024 134512640 135191968 4287482800 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17661/statm: 597 267 227 166 0 29 0 [pid=17664] ppid=17661 vsize=46384 CPUtime=12.39 /proc/17664/stat : 17664 (apt-pbo) S 17661 17661 3447 769 3447 4202496 18589 27065 0 181 590 18 586 45 18 0 1 0 528847295 47497216 10869 1283457024 134512640 135758360 4292579280 18446744073709551615 4159489358 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17664/statm: 11596 10869 3511 305 0 7394 0 Current children cumulated CPU time (s) 12.39 Current children cumulated vsize (KiB) 48772 [startup+13.7143 s] /proc/loadavg: 1.11 1.00 0.99 2/36 17690 /proc/meminfo: memFree=754784/1048576 swapFree=2094592/2097144 [pid=17661] ppid=17660 vsize=2388 CPUtime=0 /proc/17661/stat : 17661 (sh) S 17660 17661 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528847294 2445312 267 1283457024 134512640 135191968 4287482800 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17661/statm: 597 267 227 166 0 29 0 [pid=17664] ppid=17661 vsize=46384 CPUtime=12.39 /proc/17664/stat : 17664 (apt-pbo) S 17661 17661 3447 769 3447 4202496 18589 27065 0 181 590 18 586 45 18 0 1 0 528847295 47497216 10869 1283457024 134512640 135758360 4292579280 18446744073709551615 4159489358 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17664/statm: 11596 10869 3511 305 0 7394 0 [pid=17690] ppid=17664 vsize=6768 CPUtime=1.13 /proc/17690/stat : 17690 (wbo) R 17664 17661 3447 769 3447 4202496 2095 0 0 0 113 0 0 0 25 0 1 0 528848552 6930432 1224 1283457024 134512640 135709839 4286622464 18446744073709551615 135166770 0 0 0 3 0 0 0 17 0 0 0 0 /proc/17690/statm: 1692 1224 132 293 0 1397 0 Current children cumulated CPU time (s) 13.52 Current children cumulated vsize (KiB) 55540 [startup+14.1143 s] /proc/loadavg: 1.11 1.00 0.99 2/36 17690 /proc/meminfo: memFree=754784/1048576 swapFree=2094592/2097144 [pid=17661] ppid=17660 vsize=2388 CPUtime=0 /proc/17661/stat : 17661 (sh) S 17660 17661 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528847294 2445312 267 1283457024 134512640 135191968 4287482800 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17661/statm: 597 267 227 166 0 29 0 [pid=17664] ppid=17661 vsize=46384 CPUtime=12.39 /proc/17664/stat : 17664 (apt-pbo) S 17661 17661 3447 769 3447 4202496 18589 27065 0 181 590 18 586 45 18 0 1 0 528847295 47497216 10869 1283457024 134512640 135758360 4292579280 18446744073709551615 4159489358 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17664/statm: 11596 10869 3511 305 0 7394 0 [pid=17690] ppid=17664 vsize=7400 CPUtime=1.53 /proc/17690/stat : 17690 (wbo) R 17664 17661 3447 769 3447 4202496 2316 0 0 0 153 0 0 0 25 0 1 0 528848552 7577600 1380 1283457024 134512640 135709839 4286622464 18446744073709551615 135163555 0 0 0 3 0 0 0 17 0 0 0 0 /proc/17690/statm: 1850 1380 132 293 0 1555 0 Current children cumulated CPU time (s) 13.92 Current children cumulated vsize (KiB) 56172 [startup+14.5144 s] /proc/loadavg: 1.11 1.00 0.99 2/36 17690 /proc/meminfo: memFree=757892/1048576 swapFree=2094592/2097144 [pid=17661] ppid=17660 vsize=2388 CPUtime=0 /proc/17661/stat : 17661 (sh) S 17660 17661 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528847294 2445312 267 1283457024 134512640 135191968 4287482800 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17661/statm: 597 267 227 166 0 29 0 [pid=17664] ppid=17661 vsize=46524 CPUtime=12.55 /proc/17664/stat : 17664 (apt-pbo) R 17661 17661 3447 769 3447 4202496 18947 27065 0 181 606 18 586 45 18 0 1 0 528847295 47640576 10892 1283457024 134512640 135758360 4292579280 18446744073709551615 134969720 0 0 128 0 0 0 0 17 0 0 0 0 /proc/17664/statm: 11631 10892 3511 305 0 7429 0 [pid=17690] ppid=17664 vsize=0 CPUtime=1.77 /proc/17690/stat : 17690 (wbo) Z 17664 17661 3447 769 3447 4202508 2652 0 0 0 177 0 0 0 25 0 1 0 528848552 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/17690/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 14.32 Current children cumulated vsize (KiB) 48912 [startup+14.6144 s] /proc/loadavg: 1.11 1.00 0.99 2/36 17690 /proc/meminfo: memFree=757892/1048576 swapFree=2094592/2097144 [pid=17661] ppid=17660 vsize=2388 CPUtime=0 /proc/17661/stat : 17661 (sh) S 17660 17661 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528847294 2445312 267 1283457024 134512640 135191968 4287482800 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17661/statm: 597 267 227 166 0 29 0 [pid=17664] ppid=17661 vsize=46524 CPUtime=12.65 /proc/17664/stat : 17664 (apt-pbo) R 17661 17661 3447 769 3447 4202496 18948 27065 0 181 616 18 586 45 18 0 1 0 528847295 47640576 10892 1283457024 134512640 135758360 4292579280 18446744073709551615 134969910 0 0 128 0 0 0 0 17 0 0 0 0 /proc/17664/statm: 11631 10892 3511 305 0 7429 0 [pid=17690] ppid=17664 vsize=0 CPUtime=1.77 /proc/17690/stat : 17690 (wbo) Z 17664 17661 3447 769 3447 4202508 2652 0 0 0 177 0 0 0 25 0 1 0 528848552 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/17690/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 14.42 Current children cumulated vsize (KiB) 48912 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17661 and gives # childrusage.ru_utime.tv_sec=12 # childrusage.ru_utime.tv_usec=120757 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=648040 # CPU time returned by wait4() is 12.7688 # while last known CPU time is 14.42 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 14.7121 CPU time (s): 14.42 CPU user time (s): 13.79 CPU system time (s): 0.63 CPU usage (%): 98.0147 Max. virtual memory (cumulated for all children) (KiB): 68812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.1208 system time used= 0.64804 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50213 page faults= 181 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10544 involuntary context switches= 9948 runsolver used 0 second user time and 0 second system time The end