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/103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/debian-dudf//103c9978-5408-11df-9bc1-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/apt-pbo-trendy-1.0.5/103c9978-5408-11df-9bc1-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.05 0.97 0.91 3/37 4192 /proc/meminfo: memFree=849088/1048576 swapFree=2091896/2097144 [pid=4192] ppid=4191 vsize=2348 CPUtime=0 /proc/4192/stat : 4192 (sh) R 4191 4192 3447 769 3447 4194304 233 0 0 0 0 0 0 0 25 0 1 0 526313215 2404352 149 1283457024 134512640 135191968 4288275568 18446744073709551615 135100662 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4192/statm: 587 149 122 166 0 19 0 [startup+0.181441 s] /proc/loadavg: 1.05 0.97 0.91 3/37 4192 /proc/meminfo: memFree=849088/1048576 swapFree=2091896/2097144 [pid=4192] ppid=4191 vsize=2388 CPUtime=0 /proc/4192/stat : 4192 (sh) S 4191 4192 3447 769 3447 4202496 392 307 0 0 0 0 0 0 25 0 1 0 526313215 2445312 267 1283457024 134512640 135191968 4288275568 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4192/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.211456 s] /proc/loadavg: 1.05 0.97 0.91 3/37 4192 /proc/meminfo: memFree=849088/1048576 swapFree=2091896/2097144 [pid=4192] ppid=4191 vsize=2388 CPUtime=0 /proc/4192/stat : 4192 (sh) S 4191 4192 3447 769 3447 4202496 392 307 0 0 0 0 0 0 25 0 1 0 526313215 2445312 267 1283457024 134512640 135191968 4288275568 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4192/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.311469 s] /proc/loadavg: 1.05 0.97 0.91 3/37 4192 /proc/meminfo: memFree=849088/1048576 swapFree=2091896/2097144 [pid=4192] ppid=4191 vsize=2388 CPUtime=0 /proc/4192/stat : 4192 (sh) S 4191 4192 3447 769 3447 4202496 392 307 0 0 0 0 0 0 25 0 1 0 526313215 2445312 267 1283457024 134512640 135191968 4288275568 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4192/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.711574 s] /proc/loadavg: 1.05 0.97 0.91 3/37 4192 /proc/meminfo: memFree=849088/1048576 swapFree=2091896/2097144 [pid=4192] ppid=4191 vsize=2388 CPUtime=0 /proc/4192/stat : 4192 (sh) S 4191 4192 3447 769 3447 4202496 392 307 0 0 0 0 0 0 25 0 1 0 526313215 2445312 267 1283457024 134512640 135191968 4288275568 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4192/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+1.51171 s] /proc/loadavg: 1.05 0.97 0.91 2/39 4197 /proc/meminfo: memFree=838556/1048576 swapFree=2091896/2097144 [pid=4192] ppid=4191 vsize=2388 CPUtime=0 /proc/4192/stat : 4192 (sh) S 4191 4192 3447 769 3447 4202496 392 307 0 0 0 0 0 0 25 0 1 0 526313215 2445312 267 1283457024 134512640 135191968 4288275568 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4192/statm: 597 267 227 166 0 29 0 [pid=4195] ppid=4192 vsize=16312 CPUtime=1.45 /proc/4195/stat : 4195 (apt-pbo) R 4192 4192 3447 769 3447 4202496 3925 723 2 0 135 10 0 0 25 0 1 0 526313216 16703488 3464 1283457024 134512640 135758360 4290731536 18446744073709551615 134846536 0 0 128 0 0 0 0 17 0 0 0 0 /proc/4195/statm: 4078 3464 630 305 0 2851 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 18700 [startup+3.11192 s] /proc/loadavg: 1.05 0.97 0.91 2/39 4197 /proc/meminfo: memFree=828512/1048576 swapFree=2091896/2097144 [pid=4192] ppid=4191 vsize=2388 CPUtime=0 /proc/4192/stat : 4192 (sh) S 4191 4192 3447 769 3447 4202496 392 307 0 0 0 0 0 0 25 0 1 0 526313215 2445312 267 1283457024 134512640 135191968 4288275568 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4192/statm: 597 267 227 166 0 29 0 [pid=4195] ppid=4192 vsize=26296 CPUtime=3.04 /proc/4195/stat : 4195 (apt-pbo) R 4192 4192 3447 769 3447 4202496 6422 723 2 0 288 16 0 0 25 0 1 0 526313216 26927104 5953 1283457024 134512640 135758360 4290731536 18446744073709551615 134957633 0 0 128 0 0 0 0 17 0 0 0 0 /proc/4195/statm: 6574 5953 630 305 0 5347 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 28684 [startup+6.30812 s] /proc/loadavg: 1.05 0.97 0.91 2/41 4211 /proc/meminfo: memFree=787804/1048576 swapFree=2091896/2097144 [pid=4192] ppid=4191 vsize=2388 CPUtime=0 /proc/4192/stat : 4192 (sh) S 4191 4192 3447 769 3447 4202496 392 307 0 0 0 0 0 0 25 0 1 0 526313215 2445312 267 1283457024 134512640 135191968 4288275568 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4192/statm: 597 267 227 166 0 29 0 [pid=4195] ppid=4192 vsize=44572 CPUtime=5.74 /proc/4195/stat : 4195 (apt-pbo) S 4192 4192 3447 769 3447 4202496 11355 12770 2 186 358 22 172 22 18 0 1 0 526313216 45641728 10418 1283457024 134512640 135758360 4290731536 18446744073709551615 4159354190 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/4195/statm: 11143 10418 3505 305 0 6941 0 Current children cumulated CPU time (s) 5.74 Current children cumulated vsize (KiB) 46960 [startup+12.7111 s] /proc/loadavg: 1.04 0.97 0.91 2/40 4217 /proc/meminfo: memFree=782496/1048576 swapFree=2091896/2097144 [pid=4192] ppid=4191 vsize=2388 CPUtime=0 /proc/4192/stat : 4192 (sh) S 4191 4192 3447 769 3447 4202496 392 307 0 0 0 0 0 0 25 0 1 0 526313215 2445312 267 1283457024 134512640 135191968 4288275568 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4192/statm: 597 267 227 166 0 29 0 [pid=4195] ppid=4192 vsize=46380 CPUtime=10 /proc/4195/stat : 4195 (apt-pbo) S 4192 4192 3447 769 3447 4202496 17616 19177 2 187 602 26 333 39 18 0 1 0 526313216 47493120 10868 1283457024 134512640 135758360 4290731536 18446744073709551615 4159354190 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/4195/statm: 11595 10868 3511 305 0 7393 0 [pid=4217] ppid=4195 vsize=0 CPUtime=2.09 /proc/4217/stat : 4217 (wbo) Z 4195 4192 3447 769 3447 4202508 2935 0 0 0 209 0 0 0 25 0 1 0 526314204 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/4217/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.09 Current children cumulated vsize (KiB) 48768 Solver just ended. Dumping a history of the last processes samples [startup+12.8111 s] /proc/loadavg: 1.04 0.97 0.91 2/40 4217 /proc/meminfo: memFree=782496/1048576 swapFree=2091896/2097144 [pid=4192] ppid=4191 vsize=2388 CPUtime=0 /proc/4192/stat : 4192 (sh) S 4191 4192 3447 769 3447 4202496 392 307 0 0 0 0 0 0 25 0 1 0 526313215 2445312 267 1283457024 134512640 135191968 4288275568 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4192/statm: 597 267 227 166 0 29 0 [pid=4195] ppid=4192 vsize=46380 CPUtime=10 /proc/4195/stat : 4195 (apt-pbo) S 4192 4192 3447 769 3447 4202496 17616 19177 2 187 602 26 333 39 18 0 1 0 526313216 47493120 10868 1283457024 134512640 135758360 4290731536 18446744073709551615 4159354190 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/4195/statm: 11595 10868 3511 305 0 7393 0 [pid=4217] ppid=4195 vsize=0 CPUtime=2.09 /proc/4217/stat : 4217 (wbo) Z 4195 4192 3447 769 3447 4202508 2935 0 0 0 209 0 0 0 25 0 1 0 526314204 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/4217/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.09 Current children cumulated vsize (KiB) 48768 [startup+14.4114 s] /proc/loadavg: 1.04 0.97 0.91 2/40 4222 /proc/meminfo: memFree=777900/1048576 swapFree=2091896/2097144 [pid=4192] ppid=4191 vsize=2388 CPUtime=0 /proc/4192/stat : 4192 (sh) S 4191 4192 3447 769 3447 4202496 392 307 0 0 0 0 0 0 25 0 1 0 526313215 2445312 267 1283457024 134512640 135191968 4288275568 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4192/statm: 597 267 227 166 0 29 0 [pid=4195] ppid=4192 vsize=46380 CPUtime=13.32 /proc/4195/stat : 4195 (apt-pbo) S 4192 4192 3447 769 3447 4202496 18600 27050 2 187 605 26 646 55 18 0 1 0 526313216 47493120 10868 1283457024 134512640 135758360 4290731536 18446744073709551615 4159354190 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/4195/statm: 11595 10868 3511 305 0 7393 0 [pid=4222] ppid=4195 vsize=6116 CPUtime=0.73 /proc/4222/stat : 4222 (wbo) R 4195 4192 3447 769 3447 4202496 1683 0 0 0 70 3 0 0 24 0 1 0 526314581 6262784 1058 1283457024 134512640 135709839 4290152032 18446744073709551615 135166365 0 0 0 3 0 0 0 17 0 0 0 0 /proc/4222/statm: 1529 1058 132 293 0 1234 0 Current children cumulated CPU time (s) 14.05 Current children cumulated vsize (KiB) 54884 [startup+15.2119 s] /proc/loadavg: 1.04 0.97 0.91 2/40 4222 /proc/meminfo: memFree=777900/1048576 swapFree=2091896/2097144 [pid=4192] ppid=4191 vsize=2388 CPUtime=0 /proc/4192/stat : 4192 (sh) S 4191 4192 3447 769 3447 4202496 392 307 0 0 0 0 0 0 25 0 1 0 526313215 2445312 267 1283457024 134512640 135191968 4288275568 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4192/statm: 597 267 227 166 0 29 0 [pid=4195] ppid=4192 vsize=46380 CPUtime=13.34 /proc/4195/stat : 4195 (apt-pbo) S 4192 4192 3447 769 3447 4202496 18600 27050 2 187 605 28 646 55 18 0 1 0 526313216 47493120 10868 1283457024 134512640 135758360 4290731536 18446744073709551615 4159354190 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/4195/statm: 11595 10868 3511 305 0 7393 0 [pid=4222] ppid=4195 vsize=6868 CPUtime=1.52 /proc/4222/stat : 4222 (wbo) R 4195 4192 3447 769 3447 4202496 2169 0 0 0 149 3 0 0 25 0 1 0 526314581 7032832 1284 1283457024 134512640 135709839 4290152032 18446744073709551615 135166770 0 0 0 3 0 0 0 17 0 0 0 0 /proc/4222/statm: 1717 1284 132 293 0 1422 0 Current children cumulated CPU time (s) 14.86 Current children cumulated vsize (KiB) 55636 [startup+15.6122 s] /proc/loadavg: 1.04 0.97 0.91 2/40 4222 /proc/meminfo: memFree=776784/1048576 swapFree=2091896/2097144 [pid=4192] ppid=4191 vsize=2388 CPUtime=0 /proc/4192/stat : 4192 (sh) S 4191 4192 3447 769 3447 4202496 392 307 0 0 0 0 0 0 25 0 1 0 526313215 2445312 267 1283457024 134512640 135191968 4288275568 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4192/statm: 597 267 227 166 0 29 0 [pid=4195] ppid=4192 vsize=46380 CPUtime=13.36 /proc/4195/stat : 4195 (apt-pbo) S 4192 4192 3447 769 3447 4202496 18600 27050 2 187 606 29 646 55 18 0 1 0 526313216 47493120 10868 1283457024 134512640 135758360 4290731536 18446744073709551615 4159354190 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/4195/statm: 11595 10868 3511 305 0 7393 0 [pid=4222] ppid=4195 vsize=7452 CPUtime=1.9 /proc/4222/stat : 4222 (wbo) R 4195 4192 3447 769 3447 4202496 2463 0 0 0 187 3 0 0 25 0 1 0 526314581 7630848 1416 1283457024 134512640 135709839 4290152032 18446744073709551615 135173032 0 0 0 3 0 0 0 17 0 0 0 0 /proc/4222/statm: 1863 1416 132 293 0 1568 0 Current children cumulated CPU time (s) 15.26 Current children cumulated vsize (KiB) 56220 [startup+16.0124 s] /proc/loadavg: 1.04 0.97 0.91 2/40 4222 /proc/meminfo: memFree=776784/1048576 swapFree=2091896/2097144 [pid=4192] ppid=4191 vsize=2388 CPUtime=0 /proc/4192/stat : 4192 (sh) S 4191 4192 3447 769 3447 4202496 392 307 0 0 0 0 0 0 25 0 1 0 526313215 2445312 267 1283457024 134512640 135191968 4288275568 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4192/statm: 597 267 227 166 0 29 0 [pid=4195] ppid=4192 vsize=46520 CPUtime=13.61 /proc/4195/stat : 4195 (apt-pbo) R 4192 4192 3447 769 3447 4202496 18952 27050 2 187 631 29 646 55 18 0 1 0 526313216 47636480 10891 1283457024 134512640 135758360 4290731536 18446744073709551615 135143181 0 0 128 0 0 0 0 17 0 0 0 0 /proc/4195/statm: 11630 10891 3511 305 0 7428 0 [pid=4222] ppid=4195 vsize=0 CPUtime=2.05 /proc/4222/stat : 4222 (wbo) Z 4195 4192 3447 769 3447 4202508 2652 0 0 0 202 3 0 0 25 0 1 0 526314581 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/4222/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 15.66 Current children cumulated vsize (KiB) 48908 [startup+16.1125 s] /proc/loadavg: 1.04 0.97 0.91 2/40 4222 /proc/meminfo: memFree=776784/1048576 swapFree=2091896/2097144 [pid=4192] ppid=4191 vsize=2388 CPUtime=0 /proc/4192/stat : 4192 (sh) S 4191 4192 3447 769 3447 4202496 392 307 0 0 0 0 0 0 25 0 1 0 526313215 2445312 267 1283457024 134512640 135191968 4288275568 18446744073709551615 4159506846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4192/statm: 597 267 227 166 0 29 0 [pid=4195] ppid=4192 vsize=46520 CPUtime=13.71 /proc/4195/stat : 4195 (apt-pbo) R 4192 4192 3447 769 3447 4202496 22019 27050 2 187 641 29 646 55 18 0 1 0 526313216 47636480 10891 1283457024 134512640 135758360 4290731536 18446744073709551615 135086342 0 0 128 0 0 0 0 17 0 0 0 0 /proc/4195/statm: 11630 10891 3511 305 0 7428 0 [pid=4222] ppid=4195 vsize=0 CPUtime=2.05 /proc/4222/stat : 4222 (wbo) Z 4195 4192 3447 769 3447 4202508 2652 0 0 0 202 3 0 0 25 0 1 0 526314581 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/4222/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 15.76 Current children cumulated vsize (KiB) 48908 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 4192 and gives # childrusage.ru_utime.tv_sec=12 # childrusage.ru_utime.tv_usec=888805 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=864054 # CPU time returned by wait4() is 13.7529 # while last known CPU time is 15.76 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 16.1374 CPU time (s): 15.76 CPU user time (s): 14.89 CPU system time (s): 0.87 CPU usage (%): 97.6613 Max. virtual memory (cumulated for all children) (KiB): 86852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.8888 system time used= 0.864054 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50201 page faults= 189 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11339 involuntary context switches= 10654 runsolver used 0 second user time and 0 second system time The end