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/201103031013/apt-pbo-trendy-1.0.8/978532fa-c730-11df-b070-00163e3d3b7c.cudf.debian.log.runsolver ./apt-pbo-trendy-1.0.8 /home/misc2010/data/misc4/debian//978532fa-c730-11df-b070-00163e3d3b7c.cudf /home/misc2010/tmp/201103031013/apt-pbo-trendy-1.0.8/978532fa-c730-11df-b070-00163e3d3b7c.cudf.debian.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.30 1.13 1.04 5/35 17521 /proc/meminfo: memFree=754324/1048576 swapFree=0/0 [pid=17519] ppid=17518 vsize=1672 CPUtime=0 /proc/17519/stat : 17519 (sh) S 17518 17519 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 75455595 1712128 128 1283457024 134512640 134593992 4289346720 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17519/statm: 418 128 112 20 0 45 0 [pid=17521] ppid=17519 vsize=3408 CPUtime=0.01 /proc/17521/stat : 17521 (apt-pbo) R 17519 17519 29493 34817 29493 4202496 496 0 0 0 1 0 0 0 25 0 1 0 75455595 3489792 438 1283457024 134512640 135745756 4290337984 18446744073709551615 134652768 0 0 128 0 0 0 0 17 0 0 0 0 /proc/17521/statm: 852 438 349 302 0 120 0 [startup+0.195327 s] /proc/loadavg: 1.30 1.13 1.04 5/35 17521 /proc/meminfo: memFree=754324/1048576 swapFree=0/0 [pid=17519] ppid=17518 vsize=1672 CPUtime=0 /proc/17519/stat : 17519 (sh) S 17518 17519 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 75455595 1712128 128 1283457024 134512640 134593992 4289346720 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17519/statm: 418 128 112 20 0 45 0 [pid=17521] ppid=17519 vsize=8228 CPUtime=0.05 /proc/17521/stat : 17521 (apt-pbo) S 17519 17519 29493 34817 29493 4202496 1583 410 0 0 5 0 0 0 25 0 1 0 75455595 8425472 1400 1283457024 134512640 135745756 4290337984 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17521/statm: 2057 1400 648 302 0 790 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9900 [startup+0.215317 s] /proc/loadavg: 1.30 1.13 1.04 5/35 17521 /proc/meminfo: memFree=754324/1048576 swapFree=0/0 [pid=17519] ppid=17518 vsize=1672 CPUtime=0 /proc/17519/stat : 17519 (sh) S 17518 17519 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 75455595 1712128 128 1283457024 134512640 134593992 4289346720 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17519/statm: 418 128 112 20 0 45 0 [pid=17521] ppid=17519 vsize=8228 CPUtime=0.05 /proc/17521/stat : 17521 (apt-pbo) S 17519 17519 29493 34817 29493 4202496 1583 410 0 0 5 0 0 0 25 0 1 0 75455595 8425472 1400 1283457024 134512640 135745756 4290337984 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17521/statm: 2057 1400 648 302 0 790 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9900 [startup+0.315336 s] /proc/loadavg: 1.30 1.13 1.04 5/35 17521 /proc/meminfo: memFree=754324/1048576 swapFree=0/0 [pid=17519] ppid=17518 vsize=1672 CPUtime=0 /proc/17519/stat : 17519 (sh) S 17518 17519 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 75455595 1712128 128 1283457024 134512640 134593992 4289346720 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17519/statm: 418 128 112 20 0 45 0 [pid=17521] ppid=17519 vsize=8228 CPUtime=0.05 /proc/17521/stat : 17521 (apt-pbo) S 17519 17519 29493 34817 29493 4202496 1583 410 0 0 5 0 0 0 25 0 1 0 75455595 8425472 1400 1283457024 134512640 135745756 4290337984 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17521/statm: 2057 1400 648 302 0 790 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9900 [startup+0.715391 s] /proc/loadavg: 1.30 1.13 1.04 5/35 17521 /proc/meminfo: memFree=754324/1048576 swapFree=0/0 [pid=17519] ppid=17518 vsize=1672 CPUtime=0 /proc/17519/stat : 17519 (sh) S 17518 17519 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 75455595 1712128 128 1283457024 134512640 134593992 4289346720 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17519/statm: 418 128 112 20 0 45 0 [pid=17521] ppid=17519 vsize=8228 CPUtime=0.05 /proc/17521/stat : 17521 (apt-pbo) S 17519 17519 29493 34817 29493 4202496 1583 410 0 0 5 0 0 0 25 0 1 0 75455595 8425472 1400 1283457024 134512640 135745756 4290337984 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17521/statm: 2057 1400 648 302 0 790 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9900 [startup+1.51562 s] /proc/loadavg: 1.30 1.13 1.04 2/37 17525 /proc/meminfo: memFree=731160/1048576 swapFree=0/0 [pid=17519] ppid=17518 vsize=1672 CPUtime=0 /proc/17519/stat : 17519 (sh) S 17518 17519 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 75455595 1712128 128 1283457024 134512640 134593992 4289346720 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17519/statm: 418 128 112 20 0 45 0 [pid=17521] ppid=17519 vsize=8228 CPUtime=0.05 /proc/17521/stat : 17521 (apt-pbo) S 17519 17519 29493 34817 29493 4202496 1583 410 0 0 5 0 0 0 25 0 1 0 75455595 8425472 1400 1283457024 134512640 135745756 4290337984 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17521/statm: 2057 1400 648 302 0 790 0 [pid=17525] ppid=17521 vsize=30184 CPUtime=1.45 /proc/17525/stat : 17525 (cudftodeb.nativ) R 17521 17519 29493 34817 29493 4202496 7216 0 0 0 144 1 0 0 25 0 1 0 75455600 30908416 7137 1283457024 134512640 135029684 4291284512 18446744073709551615 134985945 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/17525/statm: 7546 7137 246 127 0 6927 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 40084 [startup+3.1159 s] /proc/loadavg: 1.28 1.13 1.04 2/37 17525 /proc/meminfo: memFree=710948/1048576 swapFree=0/0 [pid=17519] ppid=17518 vsize=1672 CPUtime=0 /proc/17519/stat : 17519 (sh) S 17518 17519 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 75455595 1712128 128 1283457024 134512640 134593992 4289346720 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17519/statm: 418 128 112 20 0 45 0 [pid=17521] ppid=17519 vsize=8228 CPUtime=0.05 /proc/17521/stat : 17521 (apt-pbo) S 17519 17519 29493 34817 29493 4202496 1583 410 0 0 5 0 0 0 25 0 1 0 75455595 8425472 1400 1283457024 134512640 135745756 4290337984 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17521/statm: 2057 1400 648 302 0 790 0 [pid=17525] ppid=17521 vsize=59676 CPUtime=3.03 /proc/17525/stat : 17525 (cudftodeb.nativ) R 17521 17519 29493 34817 29493 4202496 14423 0 0 0 299 4 0 0 25 0 1 0 75455600 61108224 14344 1283457024 134512640 135029684 4291284512 18446744073709551615 135011886 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/17525/statm: 14919 14344 246 127 0 14300 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 69576 [startup+6.30666 s] /proc/loadavg: 1.28 1.13 1.04 2/37 17525 /proc/meminfo: memFree=652420/1048576 swapFree=0/0 [pid=17519] ppid=17518 vsize=1672 CPUtime=0 /proc/17519/stat : 17519 (sh) S 17518 17519 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 75455595 1712128 128 1283457024 134512640 134593992 4289346720 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17519/statm: 418 128 112 20 0 45 0 [pid=17521] ppid=17519 vsize=8228 CPUtime=0.05 /proc/17521/stat : 17521 (apt-pbo) S 17519 17519 29493 34817 29493 4202496 1583 410 0 0 5 0 0 0 25 0 1 0 75455595 8425472 1400 1283457024 134512640 135745756 4290337984 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17521/statm: 2057 1400 648 302 0 790 0 [pid=17525] ppid=17521 vsize=97476 CPUtime=6.22 /proc/17525/stat : 17525 (cudftodeb.nativ) R 17521 17519 29493 34817 29493 4202496 23926 0 0 0 571 51 0 0 25 0 1 0 75455600 99815424 23847 1283457024 134512640 135029684 4291284512 18446744073709551615 135015992 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/17525/statm: 24369 23847 258 127 0 23750 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 107376 [startup+12.7065 s] /proc/loadavg: 1.39 1.16 1.05 4/38 17896 /proc/meminfo: memFree=679948/1048576 swapFree=0/0 [pid=17519] ppid=17518 vsize=1672 CPUtime=0 /proc/17519/stat : 17519 (sh) S 17518 17519 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 75455595 1712128 128 1283457024 134512640 134593992 4289346720 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17519/statm: 418 128 112 20 0 45 0 [pid=17521] ppid=17519 vsize=31392 CPUtime=11.23 /proc/17521/stat : 17521 (apt-pbo) R 17519 17519 29493 34817 29493 4202496 36585 311176 0 283 28 26 870 199 25 0 1 0 75455595 32145408 6981 1283457024 134512640 135745756 4290337984 18446744073709551615 4294960130 0 0 128 0 0 0 0 17 0 0 0 0 /proc/17521/statm: 7848 6981 5586 302 0 1418 0 [pid=17534] ppid=17521 vsize=0 CPUtime=0.04 /proc/17534/stat : 17534 (dpkg-query) Z 17521 17519 29493 34817 29493 4202508 1507 0 0 0 1 3 0 0 20 0 1 0 75456663 0 0 1283457024 0 0 0 0 0 0 0 0 0 18446744071564254338 0 0 17 0 0 0 0 /proc/17534/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 11.27 Current children cumulated vsize (KiB) 33064 [startup+25.5118 s] /proc/loadavg: 1.64 1.22 1.07 2/36 20535 /proc/meminfo: memFree=650956/1048576 swapFree=0/0 [pid=17519] ppid=17518 vsize=1672 CPUtime=0 /proc/17519/stat : 17519 (sh) S 17518 17519 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 75455595 1712128 128 1283457024 134512640 134593992 4289346720 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17519/statm: 418 128 112 20 0 45 0 [pid=17521] ppid=17519 vsize=46988 CPUtime=22.66 /proc/17521/stat : 17521 (apt-pbo) S 17519 17519 29493 34817 29493 4202496 182772 1648284 0 283 81 132 1369 684 18 0 1 0 75455595 48115712 10884 1283457024 134512640 135745756 4290337984 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17521/statm: 11747 10884 5591 302 0 5317 0 [pid=20535] ppid=17521 vsize=10652 CPUtime=1.43 /proc/20535/stat : 20535 (wbo) R 17521 17519 29493 34817 29493 4202496 3898 0 0 0 143 0 0 0 25 0 1 0 75458003 10907648 2147 1283457024 134512640 135755527 4293355568 18446744073709551615 134618258 0 0 0 3 0 0 0 17 0 0 0 0 /proc/20535/statm: 2663 2147 146 304 0 2357 0 Current children cumulated CPU time (s) 24.09 Current children cumulated vsize (KiB) 59312 [startup+51.1104 s] /proc/loadavg: 1.42 1.20 1.06 2/36 20535 /proc/meminfo: memFree=602596/1048576 swapFree=0/0 [pid=17519] ppid=17518 vsize=1672 CPUtime=0 /proc/17519/stat : 17519 (sh) S 17518 17519 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 75455595 1712128 128 1283457024 134512640 134593992 4289346720 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17519/statm: 418 128 112 20 0 45 0 [pid=17521] ppid=17519 vsize=46988 CPUtime=22.66 /proc/17521/stat : 17521 (apt-pbo) S 17519 17519 29493 34817 29493 4202496 182772 1648284 0 283 81 132 1369 684 18 0 1 0 75455595 48115712 10884 1283457024 134512640 135745756 4290337984 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17521/statm: 11747 10884 5591 302 0 5317 0 [pid=20535] ppid=17521 vsize=59852 CPUtime=26.99 /proc/20535/stat : 20535 (wbo) R 17521 17519 29493 34817 29493 4202496 28747 0 0 0 2680 19 0 0 25 0 1 0 75458003 61288448 14499 1283457024 134512640 135755527 4293355568 18446744073709551615 134516977 0 0 0 3 0 0 0 17 0 0 0 0 /proc/20535/statm: 14963 14499 146 304 0 14657 0 Current children cumulated CPU time (s) 49.65 Current children cumulated vsize (KiB) 108512 [startup+102.307 s] /proc/loadavg: 1.17 1.16 1.06 2/36 20535 /proc/meminfo: memFree=543944/1048576 swapFree=0/0 [pid=17519] ppid=17518 vsize=1672 CPUtime=0 /proc/17519/stat : 17519 (sh) S 17518 17519 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 75455595 1712128 128 1283457024 134512640 134593992 4289346720 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17519/statm: 418 128 112 20 0 45 0 [pid=17521] ppid=17519 vsize=46988 CPUtime=22.69 /proc/17521/stat : 17521 (apt-pbo) S 17519 17519 29493 34817 29493 4202496 182772 1648284 0 283 84 132 1369 684 18 0 1 0 75455595 48115712 10884 1283457024 134512640 135745756 4290337984 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17521/statm: 11747 10884 5591 302 0 5317 0 [pid=20535] ppid=17521 vsize=117652 CPUtime=78.08 /proc/20535/stat : 20535 (wbo) R 17521 17519 29493 34817 29493 4202496 52905 0 0 0 7764 44 0 0 25 0 1 0 75458003 120475648 28867 1283457024 134512640 135755527 4293355568 18446744073709551615 134589381 0 0 0 3 0 0 0 17 0 0 0 0 /proc/20535/statm: 29413 28867 147 304 0 29107 0 Current children cumulated CPU time (s) 100.77 Current children cumulated vsize (KiB) 166312 [startup+162.311 s] /proc/loadavg: 1.06 1.13 1.05 2/36 20535 /proc/meminfo: memFree=537372/1048576 swapFree=0/0 [pid=17519] ppid=17518 vsize=1672 CPUtime=0 /proc/17519/stat : 17519 (sh) S 17518 17519 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 75455595 1712128 128 1283457024 134512640 134593992 4289346720 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17519/statm: 418 128 112 20 0 45 0 [pid=17521] ppid=17519 vsize=46988 CPUtime=22.7 /proc/17521/stat : 17521 (apt-pbo) S 17519 17519 29493 34817 29493 4202496 182772 1648284 0 283 85 132 1369 684 18 0 1 0 75455595 48115712 10884 1283457024 134512640 135745756 4290337984 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17521/statm: 11747 10884 5591 302 0 5317 0 [pid=20535] ppid=17521 vsize=124000 CPUtime=137.98 /proc/20535/stat : 20535 (wbo) R 17521 17519 29493 34817 29493 4202496 54604 0 0 0 13728 70 0 0 25 0 1 0 75458003 126976000 30521 1283457024 134512640 135755527 4293355568 18446744073709551615 134589433 0 0 0 3 0 0 0 17 0 0 0 0 /proc/20535/statm: 31000 30521 147 304 0 30694 0 Current children cumulated CPU time (s) 160.68 Current children cumulated vsize (KiB) 172660 [startup+222.306 s] /proc/loadavg: 1.02 1.11 1.05 2/36 20535 /proc/meminfo: memFree=534396/1048576 swapFree=0/0 [pid=17519] ppid=17518 vsize=1672 CPUtime=0 /proc/17519/stat : 17519 (sh) S 17518 17519 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 75455595 1712128 128 1283457024 134512640 134593992 4289346720 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17519/statm: 418 128 112 20 0 45 0 [pid=17521] ppid=17519 vsize=46988 CPUtime=22.7 /proc/17521/stat : 17521 (apt-pbo) S 17519 17519 29493 34817 29493 4202496 182772 1648284 0 283 85 132 1369 684 18 0 1 0 75455595 48115712 10884 1283457024 134512640 135745756 4290337984 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17521/statm: 11747 10884 5591 302 0 5317 0 [pid=20535] ppid=17521 vsize=126880 CPUtime=197.94 /proc/20535/stat : 20535 (wbo) R 17521 17519 29493 34817 29493 4202496 55343 0 0 0 19704 90 0 0 25 0 1 0 75458003 129925120 31260 1283457024 134512640 135755527 4293355568 18446744073709551615 134589433 0 0 0 3 0 0 0 17 0 0 0 0 /proc/20535/statm: 31720 31260 147 304 0 31414 0 Current children cumulated CPU time (s) 220.64 Current children cumulated vsize (KiB) 175540 [startup+282.305 s] /proc/loadavg: 1.01 1.08 1.04 2/38 20539 /proc/meminfo: memFree=526312/1048576 swapFree=0/0 [pid=17519] ppid=17518 vsize=1672 CPUtime=0 /proc/17519/stat : 17519 (sh) S 17518 17519 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 75455595 1712128 128 1283457024 134512640 134593992 4289346720 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17519/statm: 418 128 112 20 0 45 0 [pid=17521] ppid=17519 vsize=46988 CPUtime=22.7 /proc/17521/stat : 17521 (apt-pbo) S 17519 17519 29493 34817 29493 4202496 182772 1648284 0 283 85 132 1369 684 18 0 1 0 75455595 48115712 10884 1283457024 134512640 135745756 4290337984 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17521/statm: 11747 10884 5591 302 0 5317 0 [pid=20535] ppid=17521 vsize=135092 CPUtime=257.79 /proc/20535/stat : 20535 (wbo) R 17521 17519 29493 34817 29493 4202496 57349 0 0 0 25674 105 0 0 25 0 1 0 75458003 138334208 33266 1283457024 134512640 135755527 4293355568 18446744073709551615 134589722 0 0 0 3 0 0 0 17 0 0 0 0 /proc/20535/statm: 33773 33266 147 304 0 33467 0 Current children cumulated CPU time (s) 280.49 Current children cumulated vsize (KiB) 183752 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+291.808 s] /proc/loadavg: 1.00 1.08 1.04 2/38 20540 /proc/meminfo: memFree=524328/1048576 swapFree=0/0 [pid=17519] ppid=17518 vsize=1672 CPUtime=0 /proc/17519/stat : 17519 (sh) S 17518 17519 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 75455595 1712128 128 1283457024 134512640 134593992 4289346720 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17519/statm: 418 128 112 20 0 45 0 [pid=17521] ppid=17519 vsize=46988 CPUtime=22.7 /proc/17521/stat : 17521 (apt-pbo) S 17519 17519 29493 34817 29493 4202496 182772 1648284 0 283 85 132 1369 684 18 0 1 0 75455595 48115712 10884 1283457024 134512640 135745756 4290337984 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17521/statm: 11747 10884 5591 302 0 5317 0 [pid=20535] ppid=17521 vsize=136924 CPUtime=267.3 /proc/20535/stat : 20535 (wbo) R 17521 17519 29493 34817 29493 4202496 57784 0 0 0 26624 106 0 0 25 0 1 0 75458003 140210176 33701 1283457024 134512640 135755527 4293355568 18446744073709551615 134517457 0 0 0 3 0 0 0 17 0 0 0 0 /proc/20535/statm: 34231 33701 147 304 0 33925 0 Current children cumulated CPU time (s) 290 Current children cumulated vsize (KiB) 185584 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+291.808 s] /proc/loadavg: 1.00 1.08 1.04 2/38 20540 /proc/meminfo: memFree=524328/1048576 swapFree=0/0 [pid=17519] ppid=17518 vsize=1672 CPUtime=0 /proc/17519/stat : 17519 (sh) S 17518 17519 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 75455595 1712128 128 1283457024 134512640 134593992 4289346720 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17519/statm: 418 128 112 20 0 45 0 [pid=17521] ppid=17519 vsize=46988 CPUtime=22.7 /proc/17521/stat : 17521 (apt-pbo) S 17519 17519 29493 34817 29493 4202496 182772 1648284 0 283 85 132 1369 684 18 0 1 0 75455595 48115712 10884 1283457024 134512640 135745756 4290337984 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17521/statm: 11747 10884 5591 302 0 5317 0 [pid=20535] ppid=17521 vsize=136924 CPUtime=267.3 /proc/20535/stat : 20535 (wbo) R 17521 17519 29493 34817 29493 4202496 57784 0 0 0 26624 106 0 0 25 0 1 0 75458003 140210176 33701 1283457024 134512640 135755527 4293355568 18446744073709551615 134517457 0 0 0 3 0 0 0 17 0 0 0 0 /proc/20535/statm: 34231 33701 147 304 0 33925 0 Current children cumulated CPU time (s) 290 Current children cumulated vsize (KiB) 185584 Child status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17519 and gives # childrusage.ru_utime.tv_sec=14 # childrusage.ru_utime.tv_usec=548909 # childrusage.ru_stime.tv_sec=8 # childrusage.ru_stime.tv_usec=172510 # CPU time returned by wait4() is 22.7214 # while last known CPU time is 290 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 291.824 CPU time (s): 290 CPU user time (s): 280.78 CPU system time (s): 9.22 CPU usage (%): 99.375 Max. virtual memory (cumulated for all children) (KiB): 185584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.5489 system time used= 8.17251 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1831460 page faults= 283 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5893 involuntary context switches= 5510 runsolver used 0 second user time and 0 second system time The end