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/201007050905/apt-pbo-trendy-1.0.5/rand2fb7ab.cudf.easy.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/easy//rand2fb7ab.cudf /home/misc2010/tmp/201007050905/apt-pbo-trendy-1.0.5/rand2fb7ab.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.20 1.00 0.49 3/38 25392 /proc/meminfo: memFree=507336/1048576 swapFree=2095456/2097144 [pid=25387] ppid=25386 vsize=2388 CPUtime=0 /proc/25387/stat : 25387 (sh) S 25386 25387 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524971827 2445312 266 1283457024 134512640 135191968 4288449760 18446744073709551615 4159297950 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25387/statm: 597 266 227 166 0 29 0 [pid=25389] ppid=25387 vsize=8184 CPUtime=0.12 /proc/25389/stat : 25389 (apt-pbo) R 25387 25387 24102 769 24102 4202496 1659 721 0 0 12 0 0 0 25 0 1 0 524971827 8380416 1420 1283457024 134512640 135758360 4293443808 18446744073709551615 134980690 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25389/statm: 2046 1420 630 305 0 819 0 [startup+0.261872 s] /proc/loadavg: 1.20 1.00 0.49 3/38 25392 /proc/meminfo: memFree=507336/1048576 swapFree=2095456/2097144 [pid=25387] ppid=25386 vsize=2388 CPUtime=0 /proc/25387/stat : 25387 (sh) S 25386 25387 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524971827 2445312 266 1283457024 134512640 135191968 4288449760 18446744073709551615 4159297950 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25387/statm: 597 266 227 166 0 29 0 [pid=25389] ppid=25387 vsize=8976 CPUtime=0.25 /proc/25389/stat : 25389 (apt-pbo) R 25387 25387 24102 769 24102 4202496 2042 721 0 0 25 0 0 0 25 0 1 0 524971827 9191424 1631 1283457024 134512640 135758360 4293443808 18446744073709551615 134950857 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25389/statm: 2244 1631 630 305 0 1017 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 11364 [startup+0.311881 s] /proc/loadavg: 1.20 1.00 0.49 3/38 25392 /proc/meminfo: memFree=507336/1048576 swapFree=2095456/2097144 [pid=25387] ppid=25386 vsize=2388 CPUtime=0 /proc/25387/stat : 25387 (sh) S 25386 25387 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524971827 2445312 266 1283457024 134512640 135191968 4288449760 18446744073709551615 4159297950 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25387/statm: 597 266 227 166 0 29 0 [pid=25389] ppid=25387 vsize=9380 CPUtime=0.3 /proc/25389/stat : 25389 (apt-pbo) R 25387 25387 24102 769 24102 4202496 2142 721 0 0 30 0 0 0 25 0 1 0 524971827 9605120 1731 1283457024 134512640 135758360 4293443808 18446744073709551615 135136940 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25389/statm: 2345 1731 630 305 0 1118 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 11768 [startup+0.411901 s] /proc/loadavg: 1.20 1.00 0.49 3/38 25392 /proc/meminfo: memFree=507336/1048576 swapFree=2095456/2097144 [pid=25387] ppid=25386 vsize=2388 CPUtime=0 /proc/25387/stat : 25387 (sh) S 25386 25387 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524971827 2445312 266 1283457024 134512640 135191968 4288449760 18446744073709551615 4159297950 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25387/statm: 597 266 227 166 0 29 0 [pid=25389] ppid=25387 vsize=10040 CPUtime=0.4 /proc/25389/stat : 25389 (apt-pbo) R 25387 25387 24102 769 24102 4202496 2337 721 0 0 40 0 0 0 25 0 1 0 524971827 10280960 1888 1283457024 134512640 135758360 4293443808 18446744073709551615 4158839753 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25389/statm: 2510 1888 630 305 0 1283 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 12428 [startup+0.711956 s] /proc/loadavg: 1.20 1.00 0.49 3/38 25392 /proc/meminfo: memFree=507336/1048576 swapFree=2095456/2097144 [pid=25387] ppid=25386 vsize=2388 CPUtime=0 /proc/25387/stat : 25387 (sh) S 25386 25387 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524971827 2445312 266 1283457024 134512640 135191968 4288449760 18446744073709551615 4159297950 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25387/statm: 597 266 227 166 0 29 0 [pid=25389] ppid=25387 vsize=12064 CPUtime=0.7 /proc/25389/stat : 25389 (apt-pbo) R 25387 25387 24102 769 24102 4202496 2847 721 0 0 70 0 0 0 25 0 1 0 524971827 12353536 2398 1283457024 134512640 135758360 4293443808 18446744073709551615 135015864 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25389/statm: 3016 2398 630 305 0 1789 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 14452 [startup+1.51211 s] /proc/loadavg: 1.20 1.00 0.49 2/39 25393 /proc/meminfo: memFree=497160/1048576 swapFree=2095456/2097144 [pid=25387] ppid=25386 vsize=2388 CPUtime=0 /proc/25387/stat : 25387 (sh) S 25386 25387 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524971827 2445312 266 1283457024 134512640 135191968 4288449760 18446744073709551615 4159297950 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25387/statm: 597 266 227 166 0 29 0 [pid=25389] ppid=25387 vsize=17380 CPUtime=1.49 /proc/25389/stat : 25389 (apt-pbo) R 25387 25387 24102 769 24102 4202496 4189 721 0 0 148 1 0 0 25 0 1 0 524971827 17797120 3727 1283457024 134512640 135758360 4293443808 18446744073709551615 4158812668 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25389/statm: 4345 3727 630 305 0 3118 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19768 [startup+3.11248 s] /proc/loadavg: 1.20 1.00 0.49 3/40 25399 /proc/meminfo: memFree=481088/1048576 swapFree=2095456/2097144 [pid=25387] ppid=25386 vsize=2388 CPUtime=0 /proc/25387/stat : 25387 (sh) S 25386 25387 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524971827 2445312 266 1283457024 134512640 135191968 4288449760 18446744073709551615 4159297950 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25387/statm: 597 266 227 166 0 29 0 [pid=25389] ppid=25387 vsize=23528 CPUtime=2.36 /proc/25389/stat : 25389 (apt-pbo) R 25387 25387 24102 769 24102 4202496 5726 721 0 0 234 2 0 0 25 0 1 0 524971827 24092672 5256 1283457024 134512640 135758360 4293443808 18446744073709551615 134893867 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25389/statm: 5882 5256 630 305 0 4655 0 Current children cumulated CPU time (s) 2.36 Current children cumulated vsize (KiB) 25916 heavy processes: [startup+6.31327 s] /proc/loadavg: 1.26 1.02 0.50 3/40 25447 /proc/meminfo: memFree=407556/1048576 swapFree=2095456/2097144 [pid=25387] ppid=25386 vsize=2388 CPUtime=0 /proc/25387/stat : 25387 (sh) S 25386 25387 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524971827 2445312 266 1283457024 134512640 135191968 4288449760 18446744073709551615 4159297950 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25387/statm: 597 266 227 166 0 29 0 [pid=25389] ppid=25387 vsize=28140 CPUtime=3.12 /proc/25389/stat : 25389 (apt-pbo) R 25387 25387 24102 769 24102 4202496 6879 721 0 0 310 2 0 0 25 0 1 0 524971827 28815360 6409 1283457024 134512640 135758360 4293443808 18446744073709551615 135182129 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25389/statm: 7035 6409 630 305 0 5808 0 Current children cumulated CPU time (s) 3.12 Current children cumulated vsize (KiB) 30528 heavy processes: [startup+12.707 s] /proc/loadavg: 1.24 1.02 0.50 2/40 25548 /proc/meminfo: memFree=346820/1048576 swapFree=2095456/2097144 [pid=25387] ppid=25386 vsize=2388 CPUtime=0 /proc/25387/stat : 25387 (sh) S 25386 25387 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524971827 2445312 266 1283457024 134512640 135191968 4288449760 18446744073709551615 4159297950 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25387/statm: 597 266 227 166 0 29 0 [pid=25389] ppid=25387 vsize=49936 CPUtime=7.7 /proc/25389/stat : 25389 (apt-pbo) S 25387 25387 24102 769 24102 4202496 13085 13682 0 194 592 8 141 29 20 0 1 0 524971827 51134464 11743 1283457024 134512640 135758360 4293443808 18446744073709551615 4159722830 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/25389/statm: 12484 11743 3936 305 0 7835 0 [pid=25477] ppid=25389 vsize=0 CPUtime=0.65 /proc/25477/stat : 25477 (wbo) Z 25389 25387 24102 769 24102 4202508 1396 0 0 0 64 1 0 0 21 0 1 0 524972754 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/25477/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 8.35 Current children cumulated vsize (KiB) 52324 heavy processes: %CPU=18 pid=25477 uid=0 cmd= Solver just ended. Dumping a history of the last processes samples [startup+12.907 s] /proc/loadavg: 1.24 1.02 0.50 2/42 25552 /proc/meminfo: memFree=345796/1048576 swapFree=2095456/2097144 [pid=25387] ppid=25386 vsize=2388 CPUtime=0 /proc/25387/stat : 25387 (sh) S 25386 25387 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524971827 2445312 266 1283457024 134512640 135191968 4288449760 18446744073709551615 4159297950 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25387/statm: 597 266 227 166 0 29 0 [pid=25389] ppid=25387 vsize=49936 CPUtime=7.71 /proc/25389/stat : 25389 (apt-pbo) S 25387 25387 24102 769 24102 4202496 13085 13682 0 194 592 9 141 29 18 0 1 0 524971827 51134464 11743 1283457024 134512640 135758360 4293443808 18446744073709551615 4159722830 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/25389/statm: 12484 11743 3936 305 0 7835 0 [pid=25477] ppid=25389 vsize=0 CPUtime=0.65 /proc/25477/stat : 25477 (wbo) Z 25389 25387 24102 769 24102 4202508 1396 0 0 0 64 1 0 0 21 0 1 0 524972754 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/25477/statm: 0 0 0 0 0 0 0 [pid=25549] ppid=25389 vsize=2412 CPUtime=0.01 /proc/25549/stat : 25549 (apt-get.sh) S 25389 25387 24102 769 24102 4202496 409 615 0 0 0 0 0 1 21 0 1 0 524973061 2469888 270 1283457024 134512640 135191968 4292799216 18446744073709551615 4159412638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25549/statm: 603 270 224 166 0 35 0 [pid=25552] ppid=25549 vsize=19520 CPUtime=0.54 /proc/25552/stat : 25552 (apt-get) R 25549 25387 24102 769 24102 4202496 4330 0 0 0 51 3 0 0 25 0 1 0 524973062 19988480 4219 1283457024 134512640 134646397 4289939520 18446744073709551615 4156712709 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/25552/statm: 4880 4219 3642 33 0 582 0 Current children cumulated CPU time (s) 8.91 Current children cumulated vsize (KiB) 74256 [startup+14.5074 s] /proc/loadavg: 1.24 1.02 0.50 2/40 25555 /proc/meminfo: memFree=345332/1048576 swapFree=2095456/2097144 [pid=25387] ppid=25386 vsize=2388 CPUtime=0 /proc/25387/stat : 25387 (sh) S 25386 25387 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524971827 2445312 266 1283457024 134512640 135191968 4288449760 18446744073709551615 4159297950 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25387/statm: 597 266 227 166 0 29 0 [pid=25389] ppid=25387 vsize=50124 CPUtime=9.7 /proc/25389/stat : 25389 (apt-pbo) R 25387 25387 24102 769 24102 4202496 14191 20461 0 194 623 11 294 42 18 0 1 0 524971827 51326976 11771 1283457024 134512640 135758360 4293443808 18446744073709551615 4158980512 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25389/statm: 12531 11771 3937 305 0 7882 0 [pid=25553] ppid=25389 vsize=0 CPUtime=0.76 /proc/25553/stat : 25553 (wbo) Z 25389 25387 24102 769 24102 4202508 1546 0 0 0 76 0 0 0 22 0 1 0 524973163 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/25553/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 10.46 Current children cumulated vsize (KiB) 52512 [startup+15.3076 s] /proc/loadavg: 1.24 1.02 0.50 2/40 25555 /proc/meminfo: memFree=345332/1048576 swapFree=2095456/2097144 [pid=25387] ppid=25386 vsize=2388 CPUtime=0 /proc/25387/stat : 25387 (sh) S 25386 25387 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524971827 2445312 266 1283457024 134512640 135191968 4288449760 18446744073709551615 4159297950 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25387/statm: 597 266 227 166 0 29 0 [pid=25389] ppid=25387 vsize=50124 CPUtime=9.71 /proc/25389/stat : 25389 (apt-pbo) S 25387 25387 24102 769 24102 4202496 14226 20461 0 194 623 12 294 42 18 0 1 0 524971827 51326976 11771 1283457024 134512640 135758360 4293443808 18446744073709551615 4159722830 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/25389/statm: 12531 11771 3937 305 0 7882 0 [pid=25553] ppid=25389 vsize=0 CPUtime=0.76 /proc/25553/stat : 25553 (wbo) Z 25389 25387 24102 769 24102 4202508 1546 0 0 0 76 0 0 0 22 0 1 0 524973163 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/25553/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 10.47 Current children cumulated vsize (KiB) 52512 [startup+16.1078 s] /proc/loadavg: 1.22 1.02 0.51 2/40 25563 /proc/meminfo: memFree=342464/1048576 swapFree=2095456/2097144 [pid=25387] ppid=25386 vsize=2388 CPUtime=0 /proc/25387/stat : 25387 (sh) S 25386 25387 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524971827 2445312 266 1283457024 134512640 135191968 4288449760 18446744073709551615 4159297950 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25387/statm: 597 266 227 166 0 29 0 [pid=25389] ppid=25387 vsize=50124 CPUtime=11.4 /proc/25389/stat : 25389 (apt-pbo) S 25387 25387 24102 769 24102 4202496 15095 27399 0 194 624 12 450 54 18 0 1 0 524971827 51326976 11771 1283457024 134512640 135758360 4293443808 18446744073709551615 4159722830 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/25389/statm: 12531 11771 3937 305 0 7882 0 [pid=25562] ppid=25389 vsize=5744 CPUtime=0.7 /proc/25562/stat : 25562 (wbo) R 25389 25387 24102 769 24102 4202496 1343 0 0 0 70 0 0 0 22 0 1 0 524973366 5881856 992 1283457024 134512640 135709839 4288554192 18446744073709551615 135182891 0 0 0 3 0 0 0 17 0 0 0 0 /proc/25562/statm: 1436 992 132 293 0 1141 0 Current children cumulated CPU time (s) 12.1 Current children cumulated vsize (KiB) 58256 [startup+16.5079 s] /proc/loadavg: 1.22 1.02 0.51 2/40 25563 /proc/meminfo: memFree=342464/1048576 swapFree=2095456/2097144 [pid=25387] ppid=25386 vsize=2388 CPUtime=0 /proc/25387/stat : 25387 (sh) S 25386 25387 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524971827 2445312 266 1283457024 134512640 135191968 4288449760 18446744073709551615 4159297950 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25387/statm: 597 266 227 166 0 29 0 [pid=25389] ppid=25387 vsize=50124 CPUtime=11.74 /proc/25389/stat : 25389 (apt-pbo) R 25387 25387 24102 769 24102 4202496 17613 27399 0 194 658 12 450 54 18 0 1 0 524971827 51326976 11771 1283457024 134512640 135758360 4293443808 18446744073709551615 134894014 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25389/statm: 12531 11771 3937 305 0 7882 0 [pid=25562] ppid=25389 vsize=0 CPUtime=0.76 /proc/25562/stat : 25562 (wbo) Z 25389 25387 24102 769 24102 4202508 1401 0 0 0 76 0 0 0 22 0 1 0 524973366 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/25562/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.5 Current children cumulated vsize (KiB) 52512 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25387 and gives # childrusage.ru_utime.tv_sec=11 # childrusage.ru_utime.tv_usec=116694 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=688043 # CPU time returned by wait4() is 11.8047 # while last known CPU time is 12.5 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 16.5634 CPU time (s): 12.5 CPU user time (s): 11.84 CPU system time (s): 0.66 CPU usage (%): 75.4675 Max. virtual memory (cumulated for all children) (KiB): 89692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.1167 system time used= 0.688043 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47307 page faults= 194 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8626 involuntary context switches= 8406 runsolver used 0 second user time and 0.012 second system time The end