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/7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/debian-dudf//7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/apt-pbo-paranoid-1.0.5/7e7e0b16-38a5-11df-b280-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: 0.93 0.98 0.99 3/34 13717 /proc/meminfo: memFree=871260/1048576 swapFree=2094596/2097144 [pid=13715] ppid=13714 vsize=2392 CPUtime=0 /proc/13715/stat : 13715 (sh) S 13714 13715 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528177953 2449408 267 1283457024 134512640 135191968 4293552496 18446744073709551615 4159076766 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13715/statm: 598 267 227 166 0 30 0 [pid=13717] ppid=13715 vsize=3384 CPUtime=0 /proc/13717/stat : 13717 (apt-pbo) R 13715 13715 3447 769 3447 4202496 502 0 0 0 0 0 0 0 25 0 1 0 528177953 3465216 434 1283457024 134512640 135758360 4293826816 18446744073709551615 134671459 0 0 128 0 0 0 0 17 0 0 0 0 /proc/13717/statm: 846 434 346 305 0 121 0 [startup+0.129071 s] /proc/loadavg: 0.93 0.98 0.99 3/34 13717 /proc/meminfo: memFree=871260/1048576 swapFree=2094596/2097144 [pid=13715] ppid=13714 vsize=2392 CPUtime=0 /proc/13715/stat : 13715 (sh) S 13714 13715 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528177953 2449408 267 1283457024 134512640 135191968 4293552496 18446744073709551615 4159076766 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13715/statm: 598 267 227 166 0 30 0 [pid=13717] ppid=13715 vsize=8056 CPUtime=0.11 /proc/13717/stat : 13717 (apt-pbo) R 13715 13715 3447 769 3447 4202496 1631 723 0 0 9 1 1 0 25 0 1 0 528177953 8249344 1390 1283457024 134512640 135758360 4293826816 18446744073709551615 134953680 0 0 128 0 0 0 0 17 0 0 0 0 /proc/13717/statm: 2014 1390 630 305 0 787 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10448 [startup+0.209086 s] /proc/loadavg: 0.93 0.98 0.99 3/34 13717 /proc/meminfo: memFree=871260/1048576 swapFree=2094596/2097144 [pid=13715] ppid=13714 vsize=2392 CPUtime=0 /proc/13715/stat : 13715 (sh) S 13714 13715 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528177953 2449408 267 1283457024 134512640 135191968 4293552496 18446744073709551615 4159076766 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13715/statm: 598 267 227 166 0 30 0 [pid=13717] ppid=13715 vsize=8584 CPUtime=0.19 /proc/13717/stat : 13717 (apt-pbo) R 13715 13715 3447 769 3447 4202496 1944 723 0 0 17 1 1 0 25 0 1 0 528177953 8790016 1530 1283457024 134512640 135758360 4293826816 18446744073709551615 4158963562 0 0 128 0 0 0 0 17 0 0 0 0 /proc/13717/statm: 2146 1530 630 305 0 919 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 10976 [startup+0.309109 s] /proc/loadavg: 0.93 0.98 0.99 3/34 13717 /proc/meminfo: memFree=871260/1048576 swapFree=2094596/2097144 [pid=13715] ppid=13714 vsize=2392 CPUtime=0 /proc/13715/stat : 13715 (sh) S 13714 13715 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528177953 2449408 267 1283457024 134512640 135191968 4293552496 18446744073709551615 4159076766 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13715/statm: 598 267 227 166 0 30 0 [pid=13717] ppid=13715 vsize=9244 CPUtime=0.29 /proc/13717/stat : 13717 (apt-pbo) R 13715 13715 3447 769 3447 4202496 2096 723 0 0 27 1 1 0 25 0 1 0 528177953 9465856 1682 1283457024 134512640 135758360 4293826816 18446744073709551615 134975965 0 0 128 0 0 0 0 17 0 0 0 0 /proc/13717/statm: 2311 1682 630 305 0 1084 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11636 [startup+0.70919 s] /proc/loadavg: 0.93 0.98 0.99 3/34 13717 /proc/meminfo: memFree=871260/1048576 swapFree=2094596/2097144 [pid=13715] ppid=13714 vsize=2392 CPUtime=0 /proc/13715/stat : 13715 (sh) S 13714 13715 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528177953 2449408 267 1283457024 134512640 135191968 4293552496 18446744073709551615 4159076766 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13715/statm: 598 267 227 166 0 30 0 [pid=13717] ppid=13715 vsize=11932 CPUtime=0.69 /proc/13717/stat : 13717 (apt-pbo) R 13715 13715 3447 769 3447 4202496 2816 723 0 0 63 5 1 0 25 0 1 0 528177953 12218368 2363 1283457024 134512640 135758360 4293826816 18446744073709551615 135086359 0 0 128 0 0 0 0 17 0 0 0 0 /proc/13717/statm: 2983 2363 630 305 0 1756 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14324 [startup+1.50935 s] /proc/loadavg: 0.94 0.98 0.99 2/35 13720 /proc/meminfo: memFree=857032/1048576 swapFree=2094596/2097144 [pid=13715] ppid=13714 vsize=2392 CPUtime=0 /proc/13715/stat : 13715 (sh) S 13714 13715 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528177953 2449408 267 1283457024 134512640 135191968 4293552496 18446744073709551615 4159076766 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13715/statm: 598 267 227 166 0 30 0 [pid=13717] ppid=13715 vsize=17152 CPUtime=1.49 /proc/13717/stat : 13717 (apt-pbo) R 13715 13715 3447 769 3447 4202496 4136 723 0 0 140 8 1 0 25 0 1 0 528177953 17563648 3672 1283457024 134512640 135758360 4293826816 18446744073709551615 4158991305 0 0 128 0 0 0 0 17 0 0 0 0 /proc/13717/statm: 4288 3672 630 305 0 3061 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19544 [startup+3.11008 s] /proc/loadavg: 0.94 0.98 0.99 2/35 13720 /proc/meminfo: memFree=844044/1048576 swapFree=2094596/2097144 [pid=13715] ppid=13714 vsize=2392 CPUtime=0 /proc/13715/stat : 13715 (sh) S 13714 13715 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528177953 2449408 267 1283457024 134512640 135191968 4293552496 18446744073709551615 4159076766 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13715/statm: 598 267 227 166 0 30 0 [pid=13717] ppid=13715 vsize=27688 CPUtime=3.09 /proc/13717/stat : 13717 (apt-pbo) R 13715 13715 3447 769 3447 4202496 6769 723 0 0 297 11 1 0 25 0 1 0 528177953 28352512 6297 1283457024 134512640 135758360 4293826816 18446744073709551615 135028023 0 0 128 0 0 0 0 17 0 0 0 0 /proc/13717/statm: 6922 6297 630 305 0 5695 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30080 [startup+6.3104 s] /proc/loadavg: 0.94 0.98 0.99 2/35 13720 /proc/meminfo: memFree=806560/1048576 swapFree=2094596/2097144 [pid=13715] ppid=13714 vsize=2392 CPUtime=0 /proc/13715/stat : 13715 (sh) S 13714 13715 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528177953 2449408 267 1283457024 134512640 135191968 4293552496 18446744073709551615 4159076766 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13715/statm: 598 267 227 166 0 30 0 [pid=13717] ppid=13715 vsize=48588 CPUtime=6.29 /proc/13717/stat : 13717 (apt-pbo) R 13715 13715 3447 769 3447 4202496 11977 723 0 0 614 14 1 0 25 0 1 0 528177953 49754112 11504 1283457024 134512640 135758360 4293826816 18446744073709551615 135182131 0 0 128 0 0 0 0 17 0 0 0 0 /proc/13717/statm: 12147 11504 630 305 0 10920 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50980 [startup+12.7151 s] /proc/loadavg: 0.95 0.98 0.99 2/37 13733 /proc/meminfo: memFree=698796/1048576 swapFree=2094596/2097144 [pid=13715] ppid=13714 vsize=2392 CPUtime=0 /proc/13715/stat : 13715 (sh) S 13714 13715 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528177953 2449408 267 1283457024 134512640 135191968 4293552496 18446744073709551615 4159076766 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13715/statm: 598 267 227 166 0 30 0 [pid=13717] ppid=13715 vsize=94396 CPUtime=10.48 /proc/13717/stat : 13717 (apt-pbo) S 13715 13715 3447 769 3447 4202496 24167 11956 0 391 838 21 166 23 18 0 1 0 528177953 96661504 22671 1283457024 134512640 135758360 4293826816 18446744073709551615 4159874382 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13717/statm: 23599 22671 7149 305 0 15554 0 [pid=13730] ppid=13717 vsize=2388 CPUtime=0.01 /proc/13730/stat : 13730 (apt-get.sh) S 13717 13715 3447 769 3447 4202496 393 611 0 0 0 0 0 1 18 0 1 0 528179015 2445312 264 1283457024 134512640 135191968 4289561984 18446744073709551615 4158871966 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13730/statm: 597 264 224 166 0 29 0 [pid=13733] ppid=13730 vsize=33956 CPUtime=2.07 /proc/13733/stat : 13733 (apt-get) R 13730 13715 3447 769 3447 4202496 7742 0 0 0 196 11 0 0 25 0 1 0 528179017 34770944 7624 1283457024 134512640 134646397 4291430224 18446744073709551615 4157281881 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/13733/statm: 8489 7624 6859 33 0 795 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 133132 [startup+25.5096 s] /proc/loadavg: 0.95 0.98 0.99 2/38 13738 /proc/meminfo: memFree=689216/1048576 swapFree=2094596/2097144 [pid=13715] ppid=13714 vsize=2392 CPUtime=0 /proc/13715/stat : 13715 (sh) S 13714 13715 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528177953 2449408 267 1283457024 134512640 135191968 4293552496 18446744073709551615 4159076766 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13715/statm: 598 267 227 166 0 30 0 [pid=13717] ppid=13715 vsize=99712 CPUtime=19.47 /proc/13717/stat : 13717 (apt-pbo) S 13715 13715 3447 769 3447 4202496 26107 20724 0 391 1414 25 459 49 24 0 1 0 528177953 102105088 24010 1283457024 134512640 135758360 4293826816 18446744073709551615 4159874382 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13717/statm: 24928 24010 7156 305 0 16883 0 [pid=13734] ppid=13717 vsize=0 CPUtime=4.96 /proc/13734/stat : 13734 (wbo) Z 13717 13715 3447 769 3447 4202508 9727 0 13 0 489 7 0 0 25 0 1 0 528179335 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/13734/statm: 0 0 0 0 0 0 0 [pid=13735] ppid=13717 vsize=2624 CPUtime=0 /proc/13735/stat : 13735 (apt-get.sh) S 13717 13715 3447 769 3447 4202496 501 619 0 0 0 0 0 0 25 0 1 0 528180420 2686976 321 1283457024 134512640 135191968 4288372688 18446744073709551615 4159146398 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13735/statm: 656 321 224 166 0 88 0 [pid=13738] ppid=13735 vsize=33716 CPUtime=0.81 /proc/13738/stat : 13738 (apt-get) R 13735 13715 3447 769 3447 4202496 7704 0 0 0 77 4 0 0 25 0 1 0 528180423 34525184 7587 1283457024 134512640 134646397 4287831904 18446744073709551615 4157402628 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/13738/statm: 8429 7587 6859 33 0 735 0 Current children cumulated CPU time (s) 25.24 Current children cumulated vsize (KiB) 138444 [startup+51.1056 s] /proc/loadavg: 0.97 0.98 0.99 2/36 13739 /proc/meminfo: memFree=604300/1048576 swapFree=2094596/2097144 [pid=13715] ppid=13714 vsize=2392 CPUtime=0 /proc/13715/stat : 13715 (sh) S 13714 13715 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528177953 2449408 267 1283457024 134512640 135191968 4293552496 18446744073709551615 4159076766 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13715/statm: 598 267 227 166 0 30 0 [pid=13717] ppid=13715 vsize=99712 CPUtime=29.57 /proc/13717/stat : 13717 (apt-pbo) S 13715 13715 3447 769 3447 4202496 27400 39384 0 404 1415 29 1409 104 18 0 1 0 528177953 102105088 24010 1283457024 134512640 135758360 4293826816 18446744073709551615 4159874382 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13717/statm: 24928 24010 7156 305 0 16883 0 [pid=13739] ppid=13717 vsize=72916 CPUtime=21.27 /proc/13739/stat : 13739 (wbo) R 13717 13715 3447 769 3447 4202496 28327 0 0 0 2116 11 0 0 25 0 1 0 528180933 74665984 17686 1283457024 134512640 135709839 4289768960 18446744073709551615 134573697 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13739/statm: 18229 17686 132 293 0 17934 0 Current children cumulated CPU time (s) 50.84 Current children cumulated vsize (KiB) 175020 [startup+102.303 s] /proc/loadavg: 0.99 0.98 0.99 2/36 13739 /proc/meminfo: memFree=445828/1048576 swapFree=2094596/2097144 [pid=13715] ppid=13714 vsize=2392 CPUtime=0 /proc/13715/stat : 13715 (sh) S 13714 13715 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528177953 2449408 267 1283457024 134512640 135191968 4293552496 18446744073709551615 4159076766 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13715/statm: 598 267 227 166 0 30 0 [pid=13717] ppid=13715 vsize=99712 CPUtime=29.64 /proc/13717/stat : 13717 (apt-pbo) S 13715 13715 3447 769 3447 4202496 27400 39384 0 404 1418 33 1409 104 18 0 1 0 528177953 102105088 24010 1283457024 134512640 135758360 4293826816 18446744073709551615 4159874382 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13717/statm: 24928 24010 7156 305 0 16883 0 [pid=13739] ppid=13717 vsize=229656 CPUtime=72.39 /proc/13739/stat : 13739 (wbo) R 13717 13715 3447 769 3447 4202496 86031 0 0 0 7200 39 0 0 25 0 1 0 528180933 235167744 56892 1283457024 134512640 135709839 4289768960 18446744073709551615 134529856 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13739/statm: 57414 56892 132 293 0 57119 0 Current children cumulated CPU time (s) 102.03 Current children cumulated vsize (KiB) 331760 [startup+162.31 s] /proc/loadavg: 0.99 0.98 0.99 2/36 13739 /proc/meminfo: memFree=258464/1048576 swapFree=2094596/2097144 [pid=13715] ppid=13714 vsize=2392 CPUtime=0 /proc/13715/stat : 13715 (sh) S 13714 13715 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528177953 2449408 267 1283457024 134512640 135191968 4293552496 18446744073709551615 4159076766 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13715/statm: 598 267 227 166 0 30 0 [pid=13717] ppid=13715 vsize=99712 CPUtime=29.71 /proc/13717/stat : 13717 (apt-pbo) S 13715 13715 3447 769 3447 4202496 27400 39384 0 404 1423 35 1409 104 18 0 1 0 528177953 102105088 24010 1283457024 134512640 135758360 4293826816 18446744073709551615 4159874382 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13717/statm: 24928 24010 7156 305 0 16883 0 [pid=13739] ppid=13717 vsize=418324 CPUtime=132.25 /proc/13739/stat : 13739 (wbo) R 13717 13715 3447 769 3447 4202496 154313 0 0 0 13157 68 0 0 25 0 1 0 528180933 428363776 103943 1283457024 134512640 135709839 4289768960 18446744073709551615 135166115 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13739/statm: 104581 103943 132 293 0 104286 0 Current children cumulated CPU time (s) 161.96 Current children cumulated vsize (KiB) 520428 [startup+222.305 s] /proc/loadavg: 0.99 0.98 0.99 2/36 13744 /proc/meminfo: memFree=563504/1048576 swapFree=2094596/2097144 [pid=13715] ppid=13714 vsize=2392 CPUtime=0 /proc/13715/stat : 13715 (sh) S 13714 13715 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528177953 2449408 267 1283457024 134512640 135191968 4293552496 18446744073709551615 4159076766 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13715/statm: 598 267 227 166 0 30 0 [pid=13717] ppid=13715 vsize=100288 CPUtime=189.74 /proc/13717/stat : 13717 (apt-pbo) S 13715 13715 3447 769 3447 4202496 30427 226868 0 404 1612 44 17091 227 18 0 1 0 528177953 102694912 24134 1283457024 134512640 135758360 4293826816 18446744073709551615 4159874382 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13717/statm: 25072 24134 7156 305 0 17027 0 [pid=13744] ppid=13717 vsize=104564 CPUtime=32.19 /proc/13744/stat : 13744 (wbo) R 13717 13715 3447 769 3447 4202496 39179 0 0 0 3199 20 0 0 25 0 1 0 528196958 107073536 25611 1283457024 134512640 135709839 4291077952 18446744073709551615 134529856 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13744/statm: 26141 25611 132 293 0 25846 0 Current children cumulated CPU time (s) 221.93 Current children cumulated vsize (KiB) 207244 [startup+282.308 s] /proc/loadavg: 0.99 0.98 0.99 2/36 13744 /proc/meminfo: memFree=379612/1048576 swapFree=2094596/2097144 [pid=13715] ppid=13714 vsize=2392 CPUtime=0 /proc/13715/stat : 13715 (sh) S 13714 13715 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528177953 2449408 267 1283457024 134512640 135191968 4293552496 18446744073709551615 4159076766 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13715/statm: 598 267 227 166 0 30 0 [pid=13717] ppid=13715 vsize=100288 CPUtime=189.77 /proc/13717/stat : 13717 (apt-pbo) S 13715 13715 3447 769 3447 4202496 30427 226868 0 404 1615 44 17091 227 18 0 1 0 528177953 102694912 24134 1283457024 134512640 135758360 4293826816 18446744073709551615 4159874382 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13717/statm: 25072 24134 7156 305 0 17027 0 [pid=13744] ppid=13717 vsize=290652 CPUtime=92.16 /proc/13744/stat : 13744 (wbo) R 13717 13715 3447 769 3447 4202496 109647 0 0 0 9180 36 0 0 25 0 1 0 528196958 297627648 72152 1283457024 134512640 135709839 4291077952 18446744073709551615 134529856 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13744/statm: 72663 72152 132 293 0 72368 0 Current children cumulated CPU time (s) 281.93 Current children cumulated vsize (KiB) 393332 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.411 s] /proc/loadavg: 0.99 0.98 0.99 2/36 13744 /proc/meminfo: memFree=350844/1048576 swapFree=2094596/2097144 [pid=13715] ppid=13714 vsize=2392 CPUtime=0 /proc/13715/stat : 13715 (sh) S 13714 13715 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528177953 2449408 267 1283457024 134512640 135191968 4293552496 18446744073709551615 4159076766 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13715/statm: 598 267 227 166 0 30 0 [pid=13717] ppid=13715 vsize=100288 CPUtime=189.78 /proc/13717/stat : 13717 (apt-pbo) S 13715 13715 3447 769 3447 4202496 30427 226868 0 404 1615 45 17091 227 18 0 1 0 528177953 102694912 24134 1283457024 134512640 135758360 4293826816 18446744073709551615 4159874382 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13717/statm: 25072 24134 7156 305 0 17027 0 [pid=13744] ppid=13717 vsize=316900 CPUtime=100.26 /proc/13744/stat : 13744 (wbo) R 13717 13715 3447 769 3447 4202496 118357 0 0 0 9987 39 0 0 25 0 1 0 528196958 324505600 78677 1283457024 134512640 135709839 4291077952 18446744073709551615 135173043 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13744/statm: 79225 78677 132 293 0 78930 0 Current children cumulated CPU time (s) 290.04 Current children cumulated vsize (KiB) 419580 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples [startup+290.411 s] /proc/loadavg: 0.99 0.98 0.99 2/36 13744 /proc/meminfo: memFree=350844/1048576 swapFree=2094596/2097144 [pid=13715] ppid=13714 vsize=2392 CPUtime=0 /proc/13715/stat : 13715 (sh) S 13714 13715 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528177953 2449408 267 1283457024 134512640 135191968 4293552496 18446744073709551615 4159076766 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13715/statm: 598 267 227 166 0 30 0 [pid=13717] ppid=13715 vsize=100288 CPUtime=189.78 /proc/13717/stat : 13717 (apt-pbo) S 13715 13715 3447 769 3447 4202496 30427 226868 0 404 1615 45 17091 227 18 0 1 0 528177953 102694912 24134 1283457024 134512640 135758360 4293826816 18446744073709551615 4159874382 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13717/statm: 25072 24134 7156 305 0 17027 0 [pid=13744] ppid=13717 vsize=316900 CPUtime=100.26 /proc/13744/stat : 13744 (wbo) R 13717 13715 3447 769 3447 4202496 118357 0 0 0 9987 39 0 0 25 0 1 0 528196958 324505600 78677 1283457024 134512640 135709839 4291077952 18446744073709551615 135173043 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13744/statm: 79225 78677 132 293 0 78930 0 Current children cumulated CPU time (s) 290.04 Current children cumulated vsize (KiB) 419580 Child ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 13715 and gives # childrusage.ru_utime.tv_sec=187 # childrusage.ru_utime.tv_usec=71691 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=732170 # CPU time returned by wait4() is 189.804 # while last known CPU time is 290.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 290.438 CPU time (s): 290.04 CPU user time (s): 286.93 CPU system time (s): 3.11 CPU usage (%): 99.8628 Max. virtual memory (cumulated for all children) (KiB): 593872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 187.072 system time used= 2.73217 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 257994 page faults= 404 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17174 involuntary context switches= 14472 runsolver used 0 second user time and 0 second system time The end