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/1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/debian-dudf//1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/apt-pbo-trendy-1.0.5/1dcce248-4bb4-11df-9e6e-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.25 1.05 0.98 3/40 5157 /proc/meminfo: memFree=386852/1048576 swapFree=2092160/2097144 [pid=5156] ppid=5155 vsize=2384 CPUtime=0 /proc/5156/stat : 5156 (sh) S 5155 5156 3447 769 3447 4194304 359 0 0 0 0 0 0 0 20 0 1 0 526504336 2441216 265 1283457024 134512640 135191968 4288781552 18446744073709551615 4158971550 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/5156/statm: 596 265 226 166 0 28 0 [pid=5157] ppid=5156 vsize=2896 CPUtime=0 /proc/5157/stat : 5157 (sh) R 5156 5156 3447 769 3447 4194368 152 0 0 0 0 0 0 0 24 0 1 0 526504336 2965504 171 1283457024 134512640 135191968 4288781552 18446744073709551615 4158670511 0 0 0 65538 0 0 0 17 0 0 0 0 /proc/5157/statm: 724 171 88 166 0 156 0 [startup+0.175058 s] /proc/loadavg: 1.25 1.05 0.98 3/40 5157 /proc/meminfo: memFree=386852/1048576 swapFree=2092160/2097144 [pid=5156] ppid=5155 vsize=2384 CPUtime=0 /proc/5156/stat : 5156 (sh) S 5155 5156 3447 769 3447 4202496 390 308 0 0 0 0 0 0 24 0 1 0 526504336 2441216 266 1283457024 134512640 135191968 4288781552 18446744073709551615 4158810526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5156/statm: 596 266 227 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.205052 s] /proc/loadavg: 1.25 1.05 0.98 3/40 5157 /proc/meminfo: memFree=386852/1048576 swapFree=2092160/2097144 [pid=5156] ppid=5155 vsize=2384 CPUtime=0 /proc/5156/stat : 5156 (sh) S 5155 5156 3447 769 3447 4202496 390 308 0 0 0 0 0 0 24 0 1 0 526504336 2441216 266 1283457024 134512640 135191968 4288781552 18446744073709551615 4158810526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5156/statm: 596 266 227 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.305096 s] /proc/loadavg: 1.25 1.05 0.98 3/40 5157 /proc/meminfo: memFree=386852/1048576 swapFree=2092160/2097144 [pid=5156] ppid=5155 vsize=2384 CPUtime=0 /proc/5156/stat : 5156 (sh) S 5155 5156 3447 769 3447 4202496 390 308 0 0 0 0 0 0 24 0 1 0 526504336 2441216 266 1283457024 134512640 135191968 4288781552 18446744073709551615 4158810526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5156/statm: 596 266 227 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.705253 s] /proc/loadavg: 1.25 1.05 0.98 3/40 5157 /proc/meminfo: memFree=386852/1048576 swapFree=2092160/2097144 [pid=5156] ppid=5155 vsize=2384 CPUtime=0 /proc/5156/stat : 5156 (sh) S 5155 5156 3447 769 3447 4202496 390 308 0 0 0 0 0 0 24 0 1 0 526504336 2441216 266 1283457024 134512640 135191968 4288781552 18446744073709551615 4158810526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5156/statm: 596 266 227 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+1.50542 s] /proc/loadavg: 1.23 1.05 0.98 2/41 5161 /proc/meminfo: memFree=371248/1048576 swapFree=2092160/2097144 [pid=5156] ppid=5155 vsize=2384 CPUtime=0 /proc/5156/stat : 5156 (sh) S 5155 5156 3447 769 3447 4202496 390 308 0 0 0 0 0 0 24 0 1 0 526504336 2441216 266 1283457024 134512640 135191968 4288781552 18446744073709551615 4158810526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5156/statm: 596 266 227 166 0 28 0 [pid=5159] ppid=5156 vsize=16540 CPUtime=1.47 /proc/5159/stat : 5159 (apt-pbo) R 5156 5156 3447 769 3447 4202496 3978 722 0 0 145 2 0 0 25 0 1 0 526504336 16936960 3516 1283457024 134512640 135758360 4288449504 18446744073709551615 134980445 0 0 128 0 0 0 0 17 0 0 0 0 /proc/5159/statm: 4135 3516 630 305 0 2908 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 18924 [startup+3.10575 s] /proc/loadavg: 1.23 1.05 0.98 2/41 5161 /proc/meminfo: memFree=357360/1048576 swapFree=2092160/2097144 [pid=5156] ppid=5155 vsize=2384 CPUtime=0 /proc/5156/stat : 5156 (sh) S 5155 5156 3447 769 3447 4202496 390 308 0 0 0 0 0 0 24 0 1 0 526504336 2441216 266 1283457024 134512640 135191968 4288781552 18446744073709551615 4158810526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5156/statm: 596 266 227 166 0 28 0 [pid=5159] ppid=5156 vsize=26568 CPUtime=3.07 /proc/5159/stat : 5159 (apt-pbo) R 5156 5156 3447 769 3447 4202496 6489 722 0 0 299 8 0 0 25 0 1 0 526504336 27205632 6019 1283457024 134512640 135758360 4288449504 18446744073709551615 134944889 0 0 128 0 0 0 0 17 0 0 0 0 /proc/5159/statm: 6642 6019 630 305 0 5415 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 28952 [startup+6.30642 s] /proc/loadavg: 1.23 1.05 0.98 2/41 5161 /proc/meminfo: memFree=320160/1048576 swapFree=2092160/2097144 [pid=5156] ppid=5155 vsize=2384 CPUtime=0 /proc/5156/stat : 5156 (sh) S 5155 5156 3447 769 3447 4202496 390 308 0 0 0 0 0 0 24 0 1 0 526504336 2441216 266 1283457024 134512640 135191968 4288781552 18446744073709551615 4158810526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5156/statm: 596 266 227 166 0 28 0 [pid=5159] ppid=5156 vsize=46664 CPUtime=6.22 /proc/5159/stat : 5159 (apt-pbo) R 5156 5156 3447 769 3447 4202496 11505 722 0 0 610 12 0 0 25 0 1 0 526504336 47783936 11034 1283457024 134512640 135758360 4288449504 18446744073709551615 135311293 0 0 128 0 0 0 0 17 0 0 0 0 /proc/5159/statm: 11666 11034 630 305 0 10439 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 49048 [startup+12.7054 s] /proc/loadavg: 1.19 1.05 0.98 1/41 5169 /proc/meminfo: memFree=193920/1048576 swapFree=2092160/2097144 [pid=5156] ppid=5155 vsize=2384 CPUtime=0 /proc/5156/stat : 5156 (sh) S 5155 5156 3447 769 3447 4202496 390 308 0 0 0 0 0 0 24 0 1 0 526504336 2441216 266 1283457024 134512640 135191968 4288781552 18446744073709551615 4158810526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5156/statm: 596 266 227 166 0 28 0 [pid=5159] ppid=5156 vsize=95956 CPUtime=11.16 /proc/5159/stat : 5159 (apt-pbo) S 5156 5156 3447 769 3447 4202496 24550 12077 1 399 892 16 188 20 18 0 1 0 526504336 98258944 23068 1283457024 134512640 135758360 4288449504 18446744073709551615 4160369998 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/5159/statm: 23989 23068 7282 305 0 15812 0 Current children cumulated CPU time (s) 11.16 Current children cumulated vsize (KiB) 98340 [startup+25.5089 s] /proc/loadavg: 1.16 1.05 0.98 2/42 5175 /proc/meminfo: memFree=113684/1048576 swapFree=2092160/2097144 [pid=5156] ppid=5155 vsize=2384 CPUtime=0 /proc/5156/stat : 5156 (sh) S 5155 5156 3447 769 3447 4202496 390 308 0 0 0 0 0 0 24 0 1 0 526504336 2441216 266 1283457024 134512640 135191968 4288781552 18446744073709551615 4158810526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5156/statm: 596 266 227 166 0 28 0 [pid=5159] ppid=5156 vsize=98008 CPUtime=18.13 /proc/5159/stat : 5159 (apt-pbo) S 5156 5156 3447 769 3447 4202496 25197 21042 1 399 897 30 810 76 18 0 1 0 526504336 100360192 23584 1283457024 134512640 135758360 4288449504 18446744073709551615 4160369998 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/5159/statm: 24502 23584 7285 305 0 16325 0 [pid=5175] ppid=5159 vsize=31476 CPUtime=6.13 /proc/5175/stat : 5175 (wbo) R 5159 5156 3447 769 3447 4202496 22997 0 0 0 594 19 0 0 25 0 1 0 526506267 32231424 7272 1283457024 134512640 135709839 4286995296 18446744073709551615 135162161 0 0 0 3 0 0 0 17 0 0 0 0 /proc/5175/statm: 7869 7272 132 293 0 7574 0 Current children cumulated CPU time (s) 24.26 Current children cumulated vsize (KiB) 131868 [startup+51.1055 s] /proc/loadavg: 1.11 1.04 0.98 3/44 5179 /proc/meminfo: memFree=76328/1048576 swapFree=2092160/2097144 [pid=5156] ppid=5155 vsize=2384 CPUtime=0 /proc/5156/stat : 5156 (sh) S 5155 5156 3447 769 3447 4202496 390 308 0 0 0 0 0 0 24 0 1 0 526504336 2441216 266 1283457024 134512640 135191968 4288781552 18446744073709551615 4158810526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5156/statm: 596 266 227 166 0 28 0 [pid=5159] ppid=5156 vsize=102644 CPUtime=25.48 /proc/5159/stat : 5159 (apt-pbo) S 5156 5156 3447 769 3447 4202496 26821 21042 1 399 1616 46 810 76 18 0 1 0 526504336 105107456 24731 1283457024 134512640 135758360 4288449504 18446744073709551615 4160369998 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/5159/statm: 25661 24731 7289 305 0 17484 0 [pid=5175] ppid=5159 vsize=0 CPUtime=15.72 /proc/5175/stat : 5175 (wbo) Z 5159 5156 3447 769 3447 4202508 47821 0 0 0 1536 36 0 0 25 0 1 0 526506267 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/5175/statm: 0 0 0 0 0 0 0 [pid=5176] ppid=5159 vsize=2652 CPUtime=0.01 /proc/5176/stat : 5176 (apt-get.sh) S 5159 5156 3447 769 3447 4202496 520 620 0 0 0 1 0 0 25 0 1 0 526508719 2715648 330 1283457024 134512640 135191968 4293613888 18446744073709551615 4158761374 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5176/statm: 663 330 224 166 0 95 0 [pid=5179] ppid=5176 vsize=34664 CPUtime=7.02 /proc/5179/stat : 5179 (apt-get) R 5176 5156 3447 769 3447 4202496 7957 0 0 0 673 29 0 0 25 0 1 0 526508721 35495936 7841 1283457024 134512640 134646397 4291006160 18446744073709551615 4157049793 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/5179/statm: 8666 7841 6995 33 0 840 0 Current children cumulated CPU time (s) 48.23 Current children cumulated vsize (KiB) 142344 [startup+102.312 s] /proc/loadavg: 1.11 1.05 0.99 2/42 5180 /proc/meminfo: memFree=5680/1048576 swapFree=2092160/2097144 [pid=5156] ppid=5155 vsize=2384 CPUtime=0 /proc/5156/stat : 5156 (sh) S 5155 5156 3447 769 3447 4202496 390 308 0 0 0 0 0 0 24 0 1 0 526504336 2441216 266 1283457024 134512640 135191968 4288781552 18446744073709551615 4158810526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5156/statm: 596 266 227 166 0 28 0 [pid=5159] ppid=5156 vsize=102644 CPUtime=49.62 /proc/5159/stat : 5159 (apt-pbo) S 5156 5156 3447 769 3447 4202496 28487 78047 1 399 1619 51 3114 178 18 0 1 0 526504336 105107456 24731 1283457024 134512640 135758360 4288449504 18446744073709551615 4160369998 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/5159/statm: 25661 24731 7289 305 0 17484 0 [pid=5180] ppid=5159 vsize=141300 CPUtime=49.38 /proc/5180/stat : 5180 (wbo) R 5159 5156 3447 769 3447 4202496 123366 0 0 0 4874 64 0 0 25 0 1 0 526509581 144691200 34779 1283457024 134512640 135709839 4294621856 18446744073709551615 135166308 0 0 0 3 0 0 0 17 0 0 0 0 /proc/5180/statm: 35325 34779 132 293 0 35030 0 Current children cumulated CPU time (s) 99 Current children cumulated vsize (KiB) 246328 [startup+162.312 s] /proc/loadavg: 1.04 1.03 0.99 2/40 5181 /proc/meminfo: memFree=5772/1048576 swapFree=2092160/2097144 [pid=5156] ppid=5155 vsize=2384 CPUtime=0 /proc/5156/stat : 5156 (sh) S 5155 5156 3447 769 3447 4202496 390 308 0 0 0 0 0 0 24 0 1 0 526504336 2441216 266 1283457024 134512640 135191968 4288781552 18446744073709551615 4158810526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5156/statm: 596 266 227 166 0 28 0 [pid=5159] ppid=5156 vsize=102644 CPUtime=49.65 /proc/5159/stat : 5159 (apt-pbo) S 5156 5156 3447 769 3447 4202496 28487 78047 1 399 1621 52 3114 178 18 0 1 0 526504336 105107456 24731 1283457024 134512640 135758360 4288449504 18446744073709551615 4160369998 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/5159/statm: 25661 24731 7289 305 0 17484 0 [pid=5180] ppid=5159 vsize=304936 CPUtime=109.17 /proc/5180/stat : 5180 (wbo) R 5159 5156 3447 769 3447 4202496 265080 0 0 0 10798 119 0 0 25 0 1 0 526509581 312254464 75712 1283457024 134512640 135709839 4294621856 18446744073709551615 134517168 0 0 0 3 0 0 0 17 0 0 0 0 /proc/5180/statm: 76234 75712 132 293 0 75939 0 Current children cumulated CPU time (s) 158.82 Current children cumulated vsize (KiB) 409964 [startup+222.31 s] /proc/loadavg: 1.01 1.03 0.99 2/39 5181 /proc/meminfo: memFree=6576/1048576 swapFree=2092160/2097144 [pid=5156] ppid=5155 vsize=2384 CPUtime=0 /proc/5156/stat : 5156 (sh) S 5155 5156 3447 769 3447 4202496 390 308 0 0 0 0 0 0 24 0 1 0 526504336 2441216 266 1283457024 134512640 135191968 4288781552 18446744073709551615 4158810526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5156/statm: 596 266 227 166 0 28 0 [pid=5159] ppid=5156 vsize=102644 CPUtime=49.72 /proc/5159/stat : 5159 (apt-pbo) S 5156 5156 3447 769 3447 4202496 28487 78047 1 399 1626 54 3114 178 18 0 1 0 526504336 105107456 24731 1283457024 134512640 135758360 4288449504 18446744073709551615 4160369998 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/5159/statm: 25661 24731 7289 305 0 17484 0 [pid=5180] ppid=5159 vsize=481928 CPUtime=168.98 /proc/5180/stat : 5180 (wbo) R 5159 5156 3447 769 3447 4202496 400213 0 0 0 16716 182 0 0 25 0 1 0 526509581 493494272 119993 1283457024 134512640 135709839 4294621856 18446744073709551615 135182831 0 0 0 3 0 0 0 17 0 0 0 0 /proc/5180/statm: 120482 119993 132 293 0 120187 0 Current children cumulated CPU time (s) 218.7 Current children cumulated vsize (KiB) 586956 [startup+282.308 s] /proc/loadavg: 1.00 1.02 0.99 2/39 5181 /proc/meminfo: memFree=6312/1048576 swapFree=2092160/2097144 [pid=5156] ppid=5155 vsize=2384 CPUtime=0 /proc/5156/stat : 5156 (sh) S 5155 5156 3447 769 3447 4202496 390 308 0 0 0 0 0 0 24 0 1 0 526504336 2441216 266 1283457024 134512640 135191968 4288781552 18446744073709551615 4158810526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5156/statm: 596 266 227 166 0 28 0 [pid=5159] ppid=5156 vsize=102644 CPUtime=49.77 /proc/5159/stat : 5159 (apt-pbo) S 5156 5156 3447 769 3447 4202496 28487 78047 1 399 1631 54 3114 178 18 0 1 0 526504336 105107456 24731 1283457024 134512640 135758360 4288449504 18446744073709551615 4160369998 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/5159/statm: 25661 24731 7289 305 0 17484 0 [pid=5180] ppid=5159 vsize=662448 CPUtime=228.83 /proc/5180/stat : 5180 (wbo) R 5159 5156 3447 769 3447 4202496 527717 0 0 0 22642 241 0 0 25 0 1 0 526509581 678346752 165124 1283457024 134512640 135709839 4294621856 18446744073709551615 135172981 0 0 0 3 0 0 0 17 0 0 0 0 /proc/5180/statm: 165612 165124 132 293 0 165317 0 Current children cumulated CPU time (s) 278.6 Current children cumulated vsize (KiB) 767476 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+293.812 s] /proc/loadavg: 1.00 1.02 0.99 2/39 5181 /proc/meminfo: memFree=5988/1048576 swapFree=2092160/2097144 [pid=5156] ppid=5155 vsize=2384 CPUtime=0 /proc/5156/stat : 5156 (sh) S 5155 5156 3447 769 3447 4202496 390 308 0 0 0 0 0 0 24 0 1 0 526504336 2441216 266 1283457024 134512640 135191968 4288781552 18446744073709551615 4158810526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5156/statm: 596 266 227 166 0 28 0 [pid=5159] ppid=5156 vsize=102644 CPUtime=49.77 /proc/5159/stat : 5159 (apt-pbo) S 5156 5156 3447 769 3447 4202496 28487 78047 1 399 1631 54 3114 178 18 0 1 0 526504336 105107456 24731 1283457024 134512640 135758360 4288449504 18446744073709551615 4160369998 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/5159/statm: 25661 24731 7289 305 0 17484 0 [pid=5180] ppid=5159 vsize=697676 CPUtime=240.3 /proc/5180/stat : 5180 (wbo) R 5159 5156 3447 769 3447 4202496 551481 0 0 0 23781 249 0 0 25 0 1 0 526509581 714420224 173941 1283457024 134512640 135709839 4294621856 18446744073709551615 135162161 0 0 0 3 0 0 0 17 0 0 0 0 /proc/5180/statm: 174419 173941 132 293 0 174124 0 Current children cumulated CPU time (s) 290.07 Current children cumulated vsize (KiB) 802704 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 5156 and gives # childrusage.ru_utime.tv_sec=47 # childrusage.ru_utime.tv_usec=470966 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=340146 # CPU time returned by wait4() is 49.8111 # while last known CPU time is 290.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 293.852 CPU time (s): 290.07 CPU user time (s): 285.26 CPU system time (s): 4.81 CPU usage (%): 98.7129 Max. virtual memory (cumulated for all children) (KiB): 802704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 47.471 system time used= 2.34015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107245 page faults= 400 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 51499 involuntary context switches= 46340 runsolver used 0 second user time and 0 second system time The end