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/9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/debian-dudf//9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/apt-pbo-trendy-1.0.5/9bb87ab4-4c36-11df-bc1e-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.95 0.98 0.99 3/34 15101 /proc/meminfo: memFree=721632/1048576 swapFree=2094600/2097144 [pid=15099] ppid=15098 vsize=2392 CPUtime=0 /proc/15099/stat : 15099 (sh) S 15098 15099 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528484579 2449408 267 1283457024 134512640 135191968 4286601936 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15099/statm: 598 267 227 166 0 30 0 [pid=15101] ppid=15099 vsize=3384 CPUtime=0 /proc/15101/stat : 15101 (apt-pbo) R 15099 15099 3447 769 3447 4202496 433 0 0 0 0 0 0 0 25 0 1 0 528484579 3465216 365 1283457024 134512640 135758360 4292769792 18446744073709551615 134735960 0 0 128 0 0 0 0 17 0 0 0 0 /proc/15101/statm: 846 365 292 305 0 121 0 [startup+0.145323 s] /proc/loadavg: 0.95 0.98 0.99 3/34 15101 /proc/meminfo: memFree=721632/1048576 swapFree=2094600/2097144 [pid=15099] ppid=15098 vsize=2392 CPUtime=0 /proc/15099/stat : 15099 (sh) S 15098 15099 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528484579 2449408 267 1283457024 134512640 135191968 4286601936 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15099/statm: 598 267 227 166 0 30 0 [pid=15101] ppid=15099 vsize=8320 CPUtime=0.14 /proc/15101/stat : 15101 (apt-pbo) R 15099 15099 3447 769 3447 4202496 1682 722 0 0 11 2 0 1 25 0 1 0 528484579 8519680 1441 1283457024 134512640 135758360 4292769792 18446744073709551615 134973296 0 0 128 0 0 0 0 17 0 0 0 0 /proc/15101/statm: 2080 1441 630 305 0 853 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 10712 [startup+0.20533 s] /proc/loadavg: 0.95 0.98 0.99 3/34 15101 /proc/meminfo: memFree=721632/1048576 swapFree=2094600/2097144 [pid=15099] ppid=15098 vsize=2392 CPUtime=0 /proc/15099/stat : 15099 (sh) S 15098 15099 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528484579 2449408 267 1283457024 134512640 135191968 4286601936 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15099/statm: 598 267 227 166 0 30 0 [pid=15101] ppid=15099 vsize=8716 CPUtime=0.2 /proc/15101/stat : 15101 (apt-pbo) R 15099 15099 3447 769 3447 4202496 1957 722 0 0 17 2 0 1 25 0 1 0 528484579 8925184 1544 1283457024 134512640 135758360 4292769792 18446744073709551615 134624508 0 0 128 0 0 0 0 17 0 0 0 0 /proc/15101/statm: 2179 1544 630 305 0 952 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 11108 [startup+0.305346 s] /proc/loadavg: 0.95 0.98 0.99 3/34 15101 /proc/meminfo: memFree=721632/1048576 swapFree=2094600/2097144 [pid=15099] ppid=15098 vsize=2392 CPUtime=0 /proc/15099/stat : 15099 (sh) S 15098 15099 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528484579 2449408 267 1283457024 134512640 135191968 4286601936 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15099/statm: 598 267 227 166 0 30 0 [pid=15101] ppid=15099 vsize=9384 CPUtime=0.3 /proc/15101/stat : 15101 (apt-pbo) R 15099 15099 3447 769 3447 4202496 2132 722 0 0 27 2 0 1 25 0 1 0 528484579 9609216 1719 1283457024 134512640 135758360 4292769792 18446744073709551615 134944880 0 0 128 0 0 0 0 17 0 0 0 0 /proc/15101/statm: 2346 1719 630 305 0 1119 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 11776 [startup+0.705415 s] /proc/loadavg: 0.95 0.98 0.99 3/34 15101 /proc/meminfo: memFree=721632/1048576 swapFree=2094600/2097144 [pid=15099] ppid=15098 vsize=2392 CPUtime=0 /proc/15099/stat : 15099 (sh) S 15098 15099 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528484579 2449408 267 1283457024 134512640 135191968 4286601936 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15099/statm: 598 267 227 166 0 30 0 [pid=15101] ppid=15099 vsize=12044 CPUtime=0.7 /proc/15101/stat : 15101 (apt-pbo) R 15099 15099 3447 769 3447 4202496 2835 722 0 0 67 2 0 1 25 0 1 0 528484579 12333056 2384 1283457024 134512640 135758360 4292769792 18446744073709551615 135026750 0 0 128 0 0 0 0 17 0 0 0 0 /proc/15101/statm: 3011 2384 630 305 0 1784 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 14436 [startup+1.50555 s] /proc/loadavg: 0.95 0.98 0.99 2/35 15104 /proc/meminfo: memFree=709876/1048576 swapFree=2094600/2097144 [pid=15099] ppid=15098 vsize=2392 CPUtime=0 /proc/15099/stat : 15099 (sh) S 15098 15099 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528484579 2449408 267 1283457024 134512640 135191968 4286601936 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15099/statm: 598 267 227 166 0 30 0 [pid=15101] ppid=15099 vsize=17336 CPUtime=1.5 /proc/15101/stat : 15101 (apt-pbo) R 15099 15099 3447 769 3447 4202496 4158 722 0 0 147 2 0 1 25 0 1 0 528484579 17752064 3695 1283457024 134512640 135758360 4292769792 18446744073709551615 135352466 0 0 128 0 0 0 0 17 0 0 0 0 /proc/15101/statm: 4334 3695 630 305 0 3107 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 19728 [startup+3.10581 s] /proc/loadavg: 0.95 0.98 0.99 2/35 15104 /proc/meminfo: memFree=699584/1048576 swapFree=2094600/2097144 [pid=15099] ppid=15098 vsize=2392 CPUtime=0 /proc/15099/stat : 15099 (sh) S 15098 15099 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528484579 2449408 267 1283457024 134512640 135191968 4286601936 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15099/statm: 598 267 227 166 0 30 0 [pid=15101] ppid=15099 vsize=27888 CPUtime=3.09 /proc/15101/stat : 15101 (apt-pbo) R 15099 15099 3447 769 3447 4202496 6808 722 0 0 304 4 0 1 25 0 1 0 528484579 28557312 6337 1283457024 134512640 135758360 4292769792 18446744073709551615 135517222 0 0 128 0 0 0 0 17 0 0 0 0 /proc/15101/statm: 6972 6337 630 305 0 5745 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30280 [startup+6.30634 s] /proc/loadavg: 0.96 0.98 0.99 2/35 15104 /proc/meminfo: memFree=669576/1048576 swapFree=2094600/2097144 [pid=15099] ppid=15098 vsize=2392 CPUtime=0 /proc/15099/stat : 15099 (sh) S 15098 15099 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528484579 2449408 267 1283457024 134512640 135191968 4286601936 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15099/statm: 598 267 227 166 0 30 0 [pid=15101] ppid=15099 vsize=48908 CPUtime=6.29 /proc/15101/stat : 15101 (apt-pbo) R 15099 15099 3447 769 3447 4202496 12060 722 0 0 619 9 0 1 25 0 1 0 528484579 50081792 11588 1283457024 134512640 135758360 4292769792 18446744073709551615 4158875386 0 0 128 0 0 0 0 17 0 0 0 0 /proc/15101/statm: 12227 11588 630 305 0 11000 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51300 [startup+12.7108 s] /proc/loadavg: 0.96 0.98 0.99 2/37 15117 /proc/meminfo: memFree=566560/1048576 swapFree=2094600/2097144 [pid=15099] ppid=15098 vsize=2392 CPUtime=0 /proc/15099/stat : 15099 (sh) S 15098 15099 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528484579 2449408 267 1283457024 134512640 135191968 4286601936 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15099/statm: 598 267 227 166 0 30 0 [pid=15101] ppid=15099 vsize=95956 CPUtime=10.63 /proc/15101/stat : 15101 (apt-pbo) S 15099 15099 3447 769 3447 4202496 24558 12080 0 399 853 18 172 20 18 0 1 0 528484579 98258944 23068 1283457024 134512640 135758360 4292769792 18446744073709551615 4159784270 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/15101/statm: 23989 23068 7282 305 0 15812 0 [pid=15114] ppid=15101 vsize=2392 CPUtime=0.01 /proc/15114/stat : 15114 (apt-get.sh) S 15101 15099 3447 769 3447 4202496 392 610 0 0 1 0 0 0 18 0 1 0 528485654 2449408 264 1283457024 134512640 135191968 4294011344 18446744073709551615 4159424926 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15114/statm: 598 264 224 166 0 30 0 [pid=15117] ppid=15114 vsize=34268 CPUtime=1.9 /proc/15117/stat : 15117 (apt-get) R 15114 15099 3447 769 3447 4202496 7862 0 0 0 186 4 0 0 25 0 1 0 528485655 35090432 7745 1283457024 134512640 134646397 4294126064 18446744073709551615 4157380349 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/15117/statm: 8567 7745 6995 33 0 741 0 Current children cumulated CPU time (s) 12.54 Current children cumulated vsize (KiB) 135008 [startup+25.5123 s] /proc/loadavg: 0.97 0.98 0.99 2/36 15118 /proc/meminfo: memFree=507900/1048576 swapFree=2094600/2097144 [pid=15099] ppid=15098 vsize=2392 CPUtime=0 /proc/15099/stat : 15099 (sh) S 15098 15099 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528484579 2449408 267 1283457024 134512640 135191968 4286601936 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15099/statm: 598 267 227 166 0 30 0 [pid=15101] ppid=15099 vsize=98008 CPUtime=17.29 /proc/15101/stat : 15101 (apt-pbo) S 15099 15099 3447 769 3447 4202496 25197 21047 0 399 855 27 776 71 18 0 1 0 528484579 100360192 23584 1283457024 134512640 135758360 4292769792 18446744073709551615 4159784270 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/15101/statm: 24502 23584 7285 305 0 16325 0 [pid=15118] ppid=15101 vsize=37912 CPUtime=7.98 /proc/15118/stat : 15118 (wbo) R 15101 15099 3447 769 3447 4202496 30175 0 13 0 785 13 0 0 25 0 1 0 528486322 38821888 8964 1283457024 134512640 135709839 4290930560 18446744073709551615 135163540 0 0 0 3 0 0 0 17 0 0 0 0 /proc/15118/statm: 9478 8964 132 293 0 9183 0 Current children cumulated CPU time (s) 25.27 Current children cumulated vsize (KiB) 138312 [startup+51.1082 s] /proc/loadavg: 0.98 0.98 0.99 2/36 15123 /proc/meminfo: memFree=499716/1048576 swapFree=2094600/2097144 [pid=15099] ppid=15098 vsize=2392 CPUtime=0 /proc/15099/stat : 15099 (sh) S 15098 15099 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528484579 2449408 267 1283457024 134512640 135191968 4286601936 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15099/statm: 598 267 227 166 0 30 0 [pid=15101] ppid=15099 vsize=102624 CPUtime=47.61 /proc/15101/stat : 15101 (apt-pbo) S 15099 15099 3447 769 3447 4202496 28426 78896 0 412 1538 39 3025 159 18 0 1 0 528484579 105086976 24733 1283457024 134512640 135758360 4292769792 18446744073709551615 4159784270 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/15101/statm: 25656 24733 7289 305 0 17479 0 [pid=15123] ppid=15101 vsize=27876 CPUtime=3.22 /proc/15123/stat : 15123 (wbo) R 15101 15099 3447 769 3447 4202496 16055 0 0 0 319 3 0 0 25 0 1 0 528489366 28545024 6378 1283457024 134512640 135709839 4286741280 18446744073709551615 134530367 0 0 0 3 0 0 0 17 0 0 0 0 /proc/15123/statm: 6969 6378 132 293 0 6674 0 Current children cumulated CPU time (s) 50.83 Current children cumulated vsize (KiB) 132892 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/36 15123 /proc/meminfo: memFree=365672/1048576 swapFree=2094600/2097144 [pid=15099] ppid=15098 vsize=2392 CPUtime=0 /proc/15099/stat : 15099 (sh) S 15098 15099 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528484579 2449408 267 1283457024 134512640 135191968 4286601936 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15099/statm: 598 267 227 166 0 30 0 [pid=15101] ppid=15099 vsize=102624 CPUtime=47.62 /proc/15101/stat : 15101 (apt-pbo) S 15099 15099 3447 769 3447 4202496 28426 78896 0 412 1539 39 3025 159 18 0 1 0 528484579 105086976 24733 1283457024 134512640 135758360 4292769792 18446744073709551615 4159784270 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/15101/statm: 25656 24733 7289 305 0 17479 0 [pid=15123] ppid=15101 vsize=159792 CPUtime=54.27 /proc/15123/stat : 15123 (wbo) R 15101 15099 3447 769 3447 4202496 138829 0 0 0 5375 52 0 0 25 0 1 0 528489366 163627008 39464 1283457024 134512640 135709839 4286741280 18446744073709551615 135166305 0 0 0 3 0 0 0 17 0 0 0 0 /proc/15123/statm: 39948 39464 132 293 0 39653 0 Current children cumulated CPU time (s) 101.89 Current children cumulated vsize (KiB) 264808 [startup+162.314 s] /proc/loadavg: 0.99 0.98 0.99 2/36 15123 /proc/meminfo: memFree=196908/1048576 swapFree=2094600/2097144 [pid=15099] ppid=15098 vsize=2392 CPUtime=0 /proc/15099/stat : 15099 (sh) S 15098 15099 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528484579 2449408 267 1283457024 134512640 135191968 4286601936 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15099/statm: 598 267 227 166 0 30 0 [pid=15101] ppid=15099 vsize=102624 CPUtime=47.66 /proc/15101/stat : 15101 (apt-pbo) S 15099 15099 3447 769 3447 4202496 28426 78896 0 412 1540 42 3025 159 18 0 1 0 528484579 105086976 24733 1283457024 134512640 135758360 4292769792 18446744073709551615 4159784270 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/15101/statm: 25656 24733 7289 305 0 17479 0 [pid=15123] ppid=15101 vsize=331596 CPUtime=114.11 /proc/15123/stat : 15123 (wbo) R 15101 15099 3447 769 3447 4202496 284672 0 0 0 11299 112 0 0 25 0 1 0 528489366 339554304 82331 1283457024 134512640 135709839 4286741280 18446744073709551615 134517592 0 0 0 3 0 0 0 17 0 0 0 0 /proc/15123/statm: 82899 82331 132 293 0 82604 0 Current children cumulated CPU time (s) 161.77 Current children cumulated vsize (KiB) 436612 [startup+222.312 s] /proc/loadavg: 0.99 0.98 0.99 2/36 15123 /proc/meminfo: memFree=18720/1048576 swapFree=2094600/2097144 [pid=15099] ppid=15098 vsize=2392 CPUtime=0 /proc/15099/stat : 15099 (sh) S 15098 15099 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528484579 2449408 267 1283457024 134512640 135191968 4286601936 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15099/statm: 598 267 227 166 0 30 0 [pid=15101] ppid=15099 vsize=102624 CPUtime=47.7 /proc/15101/stat : 15101 (apt-pbo) S 15099 15099 3447 769 3447 4202496 28426 78896 0 412 1542 44 3025 159 18 0 1 0 528484579 105086976 24733 1283457024 134512640 135758360 4292769792 18446744073709551615 4159784270 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/15101/statm: 25656 24733 7289 305 0 17479 0 [pid=15123] ppid=15101 vsize=507068 CPUtime=173.5 /proc/15123/stat : 15123 (wbo) R 15101 15099 3447 769 3447 4202496 419249 0 0 0 17174 176 0 0 25 0 1 0 528489366 519237632 126249 1283457024 134512640 135709839 4286741280 18446744073709551615 135162139 0 0 0 3 0 0 0 17 0 0 0 0 /proc/15123/statm: 126767 126249 132 293 0 126472 0 Current children cumulated CPU time (s) 221.2 Current children cumulated vsize (KiB) 612084 [startup+282.312 s] /proc/loadavg: 0.99 0.98 0.99 2/36 15123 /proc/meminfo: memFree=6044/1048576 swapFree=2094592/2097144 [pid=15099] ppid=15098 vsize=2392 CPUtime=0 /proc/15099/stat : 15099 (sh) S 15098 15099 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528484579 2449408 267 1283457024 134512640 135191968 4286601936 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15099/statm: 598 267 227 166 0 30 0 [pid=15101] ppid=15099 vsize=102624 CPUtime=47.76 /proc/15101/stat : 15101 (apt-pbo) S 15099 15099 3447 769 3447 4202496 28426 78896 0 412 1544 48 3025 159 18 0 1 0 528484579 105086976 24733 1283457024 134512640 135758360 4292769792 18446744073709551615 4159784270 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/15101/statm: 25656 24733 7289 305 0 17479 0 [pid=15123] ppid=15101 vsize=686216 CPUtime=233.24 /proc/15123/stat : 15123 (wbo) R 15101 15099 3447 769 3447 4202496 545023 0 0 0 23094 230 0 0 25 0 1 0 528489366 702685184 171066 1283457024 134512640 135709839 4286741280 18446744073709551615 135168139 0 0 0 3 0 0 0 17 0 0 0 0 /proc/15123/statm: 171554 171066 132 293 0 171259 0 Current children cumulated CPU time (s) 281 Current children cumulated vsize (KiB) 791232 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+291.405 s] /proc/loadavg: 0.99 0.98 0.99 2/36 15123 /proc/meminfo: memFree=5672/1048576 swapFree=2094592/2097144 [pid=15099] ppid=15098 vsize=2392 CPUtime=0 /proc/15099/stat : 15099 (sh) S 15098 15099 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528484579 2449408 267 1283457024 134512640 135191968 4286601936 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15099/statm: 598 267 227 166 0 30 0 [pid=15101] ppid=15099 vsize=102624 CPUtime=47.77 /proc/15101/stat : 15101 (apt-pbo) S 15099 15099 3447 769 3447 4202496 28426 78896 0 412 1545 48 3025 159 18 0 1 0 528484579 105086976 24733 1283457024 134512640 135758360 4292769792 18446744073709551615 4159784270 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/15101/statm: 25656 24733 7289 305 0 17479 0 [pid=15123] ppid=15101 vsize=714676 CPUtime=242.32 /proc/15123/stat : 15123 (wbo) R 15101 15099 3447 769 3447 4202496 563311 0 0 0 23994 238 0 0 25 0 1 0 528489366 731828224 178140 1283457024 134512640 135709839 4286741280 18446744073709551615 135166764 0 0 0 3 0 0 0 17 0 0 0 0 /proc/15123/statm: 178669 178140 132 293 0 178374 0 Current children cumulated CPU time (s) 290.09 Current children cumulated vsize (KiB) 819692 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.405 s] /proc/loadavg: 0.99 0.98 0.99 2/36 15123 /proc/meminfo: memFree=5672/1048576 swapFree=2094592/2097144 [pid=15099] ppid=15098 vsize=2392 CPUtime=0 /proc/15099/stat : 15099 (sh) S 15098 15099 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528484579 2449408 267 1283457024 134512640 135191968 4286601936 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15099/statm: 598 267 227 166 0 30 0 [pid=15101] ppid=15099 vsize=102624 CPUtime=47.77 /proc/15101/stat : 15101 (apt-pbo) S 15099 15099 3447 769 3447 4202496 28426 78896 0 412 1545 48 3025 159 18 0 1 0 528484579 105086976 24733 1283457024 134512640 135758360 4292769792 18446744073709551615 4159784270 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/15101/statm: 25656 24733 7289 305 0 17479 0 [pid=15123] ppid=15101 vsize=714676 CPUtime=242.32 /proc/15123/stat : 15123 (wbo) R 15101 15099 3447 769 3447 4202496 563311 0 0 0 23994 238 0 0 25 0 1 0 528489366 731828224 178140 1283457024 134512640 135709839 4286741280 18446744073709551615 135166764 0 0 0 3 0 0 0 17 0 0 0 0 /proc/15123/statm: 178669 178140 132 293 0 178374 0 Current children cumulated CPU time (s) 290.09 Current children cumulated vsize (KiB) 819692 Child ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 15099 and gives # childrusage.ru_utime.tv_sec=45 # childrusage.ru_utime.tv_usec=710856 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=88130 # CPU time returned by wait4() is 47.799 # while last known CPU time is 290.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 291.454 CPU time (s): 290.09 CPU user time (s): 285.64 CPU system time (s): 4.45 CPU usage (%): 99.5319 Max. virtual memory (cumulated for all children) (KiB): 819692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 45.7109 system time used= 2.08813 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 108030 page faults= 412 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 55551 involuntary context switches= 48252 runsolver used 0.024001 second user time and 0 second system time The end