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/412959c6-e965-11de-8ebf-00163e6585dd.cudf.debian-dudf.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/debian-dudf//412959c6-e965-11de-8ebf-00163e6585dd.cudf /home/misc2010/tmp/201007051233/apt-pbo-paranoid-1.0.5/412959c6-e965-11de-8ebf-00163e6585dd.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.08 1.02 1.01 4/34 9922 /proc/meminfo: memFree=870652/1048576 swapFree=2094612/2097144 [pid=9920] ppid=9919 vsize=2384 CPUtime=0 /proc/9920/stat : 9920 (sh) S 9919 9920 3447 769 3447 4202496 389 306 0 0 0 0 0 0 23 0 1 0 527553133 2441216 265 1283457024 134512640 135191968 4293497184 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9920/statm: 596 265 227 166 0 28 0 [pid=9922] ppid=9920 vsize=4728 CPUtime=0.02 /proc/9922/stat : 9922 (apt-pbo) R 9920 9920 3447 769 3447 4202496 881 0 0 0 2 0 0 0 25 0 1 0 527553134 4841472 806 1283457024 134512640 135758360 4292122464 18446744073709551615 135023933 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9922/statm: 1182 806 392 305 0 453 0 [startup+0.232121 s] /proc/loadavg: 1.08 1.02 1.01 4/34 9922 /proc/meminfo: memFree=870652/1048576 swapFree=2094612/2097144 [pid=9920] ppid=9919 vsize=2384 CPUtime=0 /proc/9920/stat : 9920 (sh) S 9919 9920 3447 769 3447 4202496 389 306 0 0 0 0 0 0 23 0 1 0 527553133 2441216 265 1283457024 134512640 135191968 4293497184 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9920/statm: 596 265 227 166 0 28 0 [pid=9922] ppid=9920 vsize=8720 CPUtime=0.2 /proc/9922/stat : 9922 (apt-pbo) R 9920 9920 3447 769 3447 4202496 1971 723 0 0 20 0 0 0 25 0 1 0 527553134 8929280 1557 1283457024 134512640 135758360 4292122464 18446744073709551615 135138366 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9922/statm: 2180 1557 630 305 0 953 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 11104 [startup+0.302121 s] /proc/loadavg: 1.08 1.02 1.01 4/34 9922 /proc/meminfo: memFree=870652/1048576 swapFree=2094612/2097144 [pid=9920] ppid=9919 vsize=2384 CPUtime=0 /proc/9920/stat : 9920 (sh) S 9919 9920 3447 769 3447 4202496 389 306 0 0 0 0 0 0 23 0 1 0 527553133 2441216 265 1283457024 134512640 135191968 4293497184 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9920/statm: 596 265 227 166 0 28 0 [pid=9922] ppid=9920 vsize=9116 CPUtime=0.28 /proc/9922/stat : 9922 (apt-pbo) R 9920 9920 3447 769 3447 4202496 2074 723 0 0 28 0 0 0 25 0 1 0 527553134 9334784 1660 1283457024 134512640 135758360 4292122464 18446744073709551615 135310928 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9922/statm: 2279 1660 630 305 0 1052 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 11500 [startup+0.412146 s] /proc/loadavg: 1.08 1.02 1.01 4/34 9922 /proc/meminfo: memFree=870652/1048576 swapFree=2094612/2097144 [pid=9920] ppid=9919 vsize=2384 CPUtime=0 /proc/9920/stat : 9920 (sh) S 9919 9920 3447 769 3447 4202496 389 306 0 0 0 0 0 0 23 0 1 0 527553133 2441216 265 1283457024 134512640 135191968 4293497184 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9920/statm: 596 265 227 166 0 28 0 [pid=9922] ppid=9920 vsize=9920 CPUtime=0.38 /proc/9922/stat : 9922 (apt-pbo) R 9920 9920 3447 769 3447 4202496 2263 723 0 0 38 0 0 0 25 0 1 0 527553134 10158080 1848 1283457024 134512640 135758360 4292122464 18446744073709551615 134894014 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9922/statm: 2480 1848 630 305 0 1253 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 12304 [startup+0.702219 s] /proc/loadavg: 1.08 1.02 1.01 4/34 9922 /proc/meminfo: memFree=870652/1048576 swapFree=2094612/2097144 [pid=9920] ppid=9919 vsize=2384 CPUtime=0 /proc/9920/stat : 9920 (sh) S 9919 9920 3447 769 3447 4202496 389 306 0 0 0 0 0 0 23 0 1 0 527553133 2441216 265 1283457024 134512640 135191968 4293497184 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9920/statm: 596 265 227 166 0 28 0 [pid=9922] ppid=9920 vsize=11816 CPUtime=0.68 /proc/9922/stat : 9922 (apt-pbo) R 9920 9920 3447 769 3447 4202496 2784 723 0 0 68 0 0 0 25 0 1 0 527553134 12099584 2331 1283457024 134512640 135758360 4292122464 18446744073709551615 134970784 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9922/statm: 2954 2331 630 305 0 1727 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 14200 [startup+1.50237 s] /proc/loadavg: 1.08 1.02 1.01 2/35 9925 /proc/meminfo: memFree=856672/1048576 swapFree=2094612/2097144 [pid=9920] ppid=9919 vsize=2384 CPUtime=0 /proc/9920/stat : 9920 (sh) S 9919 9920 3447 769 3447 4202496 389 306 0 0 0 0 0 0 23 0 1 0 527553133 2441216 265 1283457024 134512640 135191968 4293497184 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9920/statm: 596 265 227 166 0 28 0 [pid=9922] ppid=9920 vsize=17008 CPUtime=1.48 /proc/9922/stat : 9922 (apt-pbo) R 9920 9920 3447 769 3447 4202496 4092 723 0 0 148 0 0 0 25 0 1 0 527553134 17416192 3628 1283457024 134512640 135758360 4292122464 18446744073709551615 134957256 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9922/statm: 4252 3628 630 305 0 3025 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 19392 [startup+3.10269 s] /proc/loadavg: 1.08 1.02 1.01 2/35 9925 /proc/meminfo: memFree=844108/1048576 swapFree=2094612/2097144 [pid=9920] ppid=9919 vsize=2384 CPUtime=0 /proc/9920/stat : 9920 (sh) S 9919 9920 3447 769 3447 4202496 389 306 0 0 0 0 0 0 23 0 1 0 527553133 2441216 265 1283457024 134512640 135191968 4293497184 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9920/statm: 596 265 227 166 0 28 0 [pid=9922] ppid=9920 vsize=27352 CPUtime=3.07 /proc/9922/stat : 9922 (apt-pbo) R 9920 9920 3447 769 3447 4202496 6683 723 0 0 306 1 0 0 25 0 1 0 527553134 28008448 6211 1283457024 134512640 135758360 4292122464 18446744073709551615 4158735864 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9922/statm: 6838 6211 630 305 0 5611 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 29736 [startup+6.31474 s] /proc/loadavg: 1.07 1.02 1.00 1/36 9939 /proc/meminfo: memFree=792968/1048576 swapFree=2094612/2097144 [pid=9920] ppid=9919 vsize=2384 CPUtime=0 /proc/9920/stat : 9920 (sh) S 9919 9920 3447 769 3447 4202496 389 306 0 0 0 0 0 0 23 0 1 0 527553133 2441216 265 1283457024 134512640 135191968 4293497184 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9920/statm: 596 265 227 166 0 28 0 [pid=9922] ppid=9920 vsize=50356 CPUtime=5.84 /proc/9922/stat : 9922 (apt-pbo) R 9920 9920 3447 769 3447 4202496 13295 13442 0 189 435 6 129 14 18 0 1 0 527553134 51564544 11850 1283457024 134512640 135758360 4292122464 18446744073709551615 135510309 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9922/statm: 12589 11850 3848 305 0 8028 0 [pid=9939] ppid=9922 vsize=0 CPUtime=0.27 /proc/9939/stat : 9939 (wbo) Z 9922 9920 3447 769 3447 4202508 917 0 13 0 27 0 0 0 19 0 1 0 527553691 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/9939/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.11 Current children cumulated vsize (KiB) 52740 Solver just ended. Dumping a history of the last processes samples [startup+6.51478 s] /proc/loadavg: 1.07 1.02 1.00 1/36 9939 /proc/meminfo: memFree=792968/1048576 swapFree=2094612/2097144 [pid=9920] ppid=9919 vsize=2384 CPUtime=0 /proc/9920/stat : 9920 (sh) S 9919 9920 3447 769 3447 4202496 389 306 0 0 0 0 0 0 23 0 1 0 527553133 2441216 265 1283457024 134512640 135191968 4293497184 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9920/statm: 596 265 227 166 0 28 0 [pid=9922] ppid=9920 vsize=50488 CPUtime=6.04 /proc/9922/stat : 9922 (apt-pbo) R 9920 9920 3447 769 3447 4202496 13337 13442 0 189 455 6 129 14 18 0 1 0 527553134 51699712 11892 1283457024 134512640 135758360 4292122464 18446744073709551615 134894099 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9922/statm: 12622 11892 3848 305 0 8061 0 [pid=9939] ppid=9922 vsize=0 CPUtime=0.27 /proc/9939/stat : 9939 (wbo) Z 9922 9920 3447 769 3447 4202508 917 0 13 0 27 0 0 0 19 0 1 0 527553691 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/9939/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 52872 [startup+9.71535 s] /proc/loadavg: 1.07 1.02 1.00 2/36 9944 /proc/meminfo: memFree=789472/1048576 swapFree=2094612/2097144 [pid=9920] ppid=9919 vsize=2384 CPUtime=0 /proc/9920/stat : 9920 (sh) S 9919 9920 3447 769 3447 4202496 389 306 0 0 0 0 0 0 23 0 1 0 527553133 2441216 265 1283457024 134512640 135191968 4293497184 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9920/statm: 596 265 227 166 0 28 0 [pid=9922] ppid=9920 vsize=51144 CPUtime=8.22 /proc/9922/stat : 9922 (apt-pbo) S 9920 9920 3447 769 3447 4202496 14487 19625 0 202 572 7 220 23 18 0 1 0 527553134 52371456 12033 1283457024 134512640 135758360 4292122464 18446744073709551615 4159620430 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9922/statm: 12786 12033 3849 305 0 8225 0 [pid=9944] ppid=9922 vsize=0 CPUtime=0.59 /proc/9944/stat : 9944 (wbo) Z 9922 9920 3447 769 3447 4202508 1350 0 0 0 58 1 0 0 21 0 1 0 527553955 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/9944/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 8.81 Current children cumulated vsize (KiB) 53528 [startup+11.3156 s] /proc/loadavg: 1.07 1.02 1.00 2/38 9953 /proc/meminfo: memFree=787580/1048576 swapFree=2094612/2097144 [pid=9920] ppid=9919 vsize=2384 CPUtime=0 /proc/9920/stat : 9920 (sh) S 9919 9920 3447 769 3447 4202496 389 306 0 0 0 0 0 0 23 0 1 0 527553133 2441216 265 1283457024 134512640 135191968 4293497184 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9920/statm: 596 265 227 166 0 28 0 [pid=9922] ppid=9920 vsize=51144 CPUtime=11.08 /proc/9922/stat : 9922 (apt-pbo) R 9920 9920 3447 769 3447 4202496 16132 33024 0 202 586 10 469 43 18 0 1 0 527553134 52371456 12048 1283457024 134512640 135758360 4292122464 18446744073709551615 4158878112 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9922/statm: 12786 12048 3849 305 0 8225 0 Current children cumulated CPU time (s) 11.08 Current children cumulated vsize (KiB) 53528 [startup+11.7157 s] /proc/loadavg: 1.07 1.02 1.00 2/38 9953 /proc/meminfo: memFree=787580/1048576 swapFree=2094612/2097144 [pid=9920] ppid=9919 vsize=2384 CPUtime=0 /proc/9920/stat : 9920 (sh) S 9919 9920 3447 769 3447 4202496 389 306 0 0 0 0 0 0 23 0 1 0 527553133 2441216 265 1283457024 134512640 135191968 4293497184 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9920/statm: 596 265 227 166 0 28 0 [pid=9922] ppid=9920 vsize=51144 CPUtime=11.08 /proc/9922/stat : 9922 (apt-pbo) S 9920 9920 3447 769 3447 4202496 16335 33024 0 202 586 10 469 43 18 0 1 0 527553134 52371456 12048 1283457024 134512640 135758360 4292122464 18446744073709551615 4159620430 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9922/statm: 12786 12048 3849 305 0 8225 0 Current children cumulated CPU time (s) 11.08 Current children cumulated vsize (KiB) 53528 [startup+12.1073 s] /proc/loadavg: 1.07 1.02 1.00 2/38 9953 /proc/meminfo: memFree=787580/1048576 swapFree=2094612/2097144 [pid=9920] ppid=9919 vsize=2384 CPUtime=0 /proc/9920/stat : 9920 (sh) S 9919 9920 3447 769 3447 4202496 389 306 0 0 0 0 0 0 23 0 1 0 527553133 2441216 265 1283457024 134512640 135191968 4293497184 18446744073709551615 4159187358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9920/statm: 596 265 227 166 0 28 0 [pid=9922] ppid=9920 vsize=0 CPUtime=11.32 /proc/9922/stat : 9922 (apt-pbo) R 9920 9920 3447 769 3447 4202500 20286 33024 0 202 607 13 469 43 18 0 1 0 527553134 0 0 1283457024 0 0 0 0 0 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9922/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 11.32 Current children cumulated vsize (KiB) 2384 Child status: 0 Real time (s): 12.1109 CPU time (s): 11.3287 CPU user time (s): 10.7647 CPU system time (s): 0.564035 CPU usage (%): 93.5412 Max. virtual memory (cumulated for all children) (KiB): 91920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.7647 system time used= 0.564035 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54014 page faults= 202 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2544 involuntary context switches= 2259 runsolver used 0 second user time and 0.012 second system time The end