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/201007050905/apt-pbo-trendy-1.0.5/rand7fec8c.cudf.easy.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/easy//rand7fec8c.cudf /home/misc2010/tmp/201007050905/apt-pbo-trendy-1.0.5/rand7fec8c.cudf.easy.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.32 1.15 0.91 3/37 27510 /proc/meminfo: memFree=410232/1048576 swapFree=2095456/2097144 [pid=27509] ppid=27508 vsize=2388 CPUtime=0 /proc/27509/stat : 27509 (sh) R 27508 27509 24102 769 24102 4194304 353 0 0 0 0 0 0 0 25 0 1 0 525071939 2445312 266 1283457024 134512640 135191968 4286743360 18446744073709551615 4159000992 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/27509/statm: 597 266 226 166 0 29 0 [pid=27510] ppid=27509 vsize=2388 CPUtime=0 /proc/27510/stat : 27510 (sh) R 27509 27509 24102 769 24102 4194368 0 0 0 0 0 0 0 0 25 0 1 0 525071939 2445312 40 1283457024 134512640 135191968 4286743360 18446744073709551615 4159000992 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/27510/statm: 597 40 0 166 0 29 0 [startup+0.193633 s] /proc/loadavg: 1.32 1.15 0.91 3/37 27510 /proc/meminfo: memFree=410232/1048576 swapFree=2095456/2097144 [pid=27509] ppid=27508 vsize=2388 CPUtime=0 /proc/27509/stat : 27509 (sh) S 27508 27509 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525071939 2445312 267 1283457024 134512640 135191968 4286743360 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27509/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.203639 s] /proc/loadavg: 1.32 1.15 0.91 3/37 27510 /proc/meminfo: memFree=410232/1048576 swapFree=2095456/2097144 [pid=27509] ppid=27508 vsize=2388 CPUtime=0 /proc/27509/stat : 27509 (sh) S 27508 27509 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525071939 2445312 267 1283457024 134512640 135191968 4286743360 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27509/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.313662 s] /proc/loadavg: 1.32 1.15 0.91 3/37 27510 /proc/meminfo: memFree=410232/1048576 swapFree=2095456/2097144 [pid=27509] ppid=27508 vsize=2388 CPUtime=0 /proc/27509/stat : 27509 (sh) S 27508 27509 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525071939 2445312 267 1283457024 134512640 135191968 4286743360 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27509/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.713758 s] /proc/loadavg: 1.32 1.15 0.91 3/37 27510 /proc/meminfo: memFree=410232/1048576 swapFree=2095456/2097144 [pid=27509] ppid=27508 vsize=2388 CPUtime=0 /proc/27509/stat : 27509 (sh) S 27508 27509 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525071939 2445312 267 1283457024 134512640 135191968 4286743360 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27509/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+1.51395 s] /proc/loadavg: 1.32 1.15 0.91 2/38 27514 /proc/meminfo: memFree=397664/1048576 swapFree=2095456/2097144 [pid=27509] ppid=27508 vsize=2388 CPUtime=0 /proc/27509/stat : 27509 (sh) S 27508 27509 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525071939 2445312 267 1283457024 134512640 135191968 4286743360 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27509/statm: 597 267 227 166 0 29 0 [pid=27512] ppid=27509 vsize=17252 CPUtime=1.5 /proc/27512/stat : 27512 (apt-pbo) R 27509 27509 24102 769 24102 4202496 4133 720 0 0 145 5 0 0 25 0 1 0 525071939 17666048 3669 1283457024 134512640 135758360 4293273792 18446744073709551615 4159216967 0 0 128 0 0 0 0 17 0 0 0 0 /proc/27512/statm: 4313 3669 630 305 0 3086 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 19640 [startup+3.10426 s] /proc/loadavg: 1.32 1.15 0.91 2/38 27514 /proc/meminfo: memFree=386380/1048576 swapFree=2095456/2097144 [pid=27509] ppid=27508 vsize=2388 CPUtime=0 /proc/27509/stat : 27509 (sh) S 27508 27509 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525071939 2445312 267 1283457024 134512640 135191968 4286743360 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27509/statm: 597 267 227 166 0 29 0 [pid=27512] ppid=27509 vsize=27088 CPUtime=3.06 /proc/27512/stat : 27512 (apt-pbo) R 27509 27509 24102 769 24102 4202496 6614 720 0 0 297 9 0 0 25 0 1 0 525071939 27738112 6142 1283457024 134512640 135758360 4293273792 18446744073709551615 135510299 0 0 128 0 0 0 0 17 0 0 0 0 /proc/27512/statm: 6772 6142 630 305 0 5545 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 29476 [startup+6.31013 s] /proc/loadavg: 1.45 1.18 0.92 1/40 27522 /proc/meminfo: memFree=329640/1048576 swapFree=2095456/2097144 [pid=27509] ppid=27508 vsize=2388 CPUtime=0 /proc/27509/stat : 27509 (sh) S 27508 27509 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525071939 2445312 267 1283457024 134512640 135191968 4286743360 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27509/statm: 597 267 227 166 0 29 0 [pid=27512] ppid=27509 vsize=47896 CPUtime=4.62 /proc/27512/stat : 27512 (apt-pbo) R 27509 27509 24102 769 24102 4202496 12065 8323 0 194 369 11 70 12 19 0 1 0 525071939 49045504 11229 1283457024 134512640 135758360 4293273792 18446744073709551615 4159635872 0 0 128 0 0 0 0 17 0 0 0 0 /proc/27512/statm: 11974 11229 3929 305 0 7325 0 Current children cumulated CPU time (s) 4.62 Current children cumulated vsize (KiB) 50284 heavy processes: Solver just ended. Dumping a history of the last processes samples [startup+6.41014 s] /proc/loadavg: 1.45 1.18 0.92 6/40 27527 /proc/meminfo: memFree=332308/1048576 swapFree=2095456/2097144 [pid=27509] ppid=27508 vsize=2388 CPUtime=0 /proc/27509/stat : 27509 (sh) S 27508 27509 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525071939 2445312 267 1283457024 134512640 135191968 4286743360 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27509/statm: 597 267 227 166 0 29 0 [pid=27512] ppid=27509 vsize=47896 CPUtime=4.62 /proc/27512/stat : 27512 (apt-pbo) S 27509 27509 24102 769 24102 4202496 12161 8323 0 194 369 11 70 12 19 0 1 0 525071939 49045504 11229 1283457024 134512640 135758360 4293273792 18446744073709551615 4160378190 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/27512/statm: 11974 11229 3929 305 0 7325 0 [pid=27524] ppid=27512 vsize=2388 CPUtime=0 /proc/27524/stat : 27524 (apt-get.sh) S 27512 27509 24102 769 24102 4202496 389 611 0 0 0 0 0 0 19 0 1 0 525072563 2445312 263 1283457024 134512640 135191968 4290002384 18446744073709551615 4158785950 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27524/statm: 597 263 224 166 0 29 0 [pid=27527] ppid=27524 vsize=19520 CPUtime=0.15 /proc/27527/stat : 27527 (apt-get) R 27524 27509 24102 769 24102 4202496 4315 0 0 0 14 1 0 0 24 0 1 0 525072564 19988480 4205 1283457024 134512640 134646397 4289465680 18446744073709551615 4157379322 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/27527/statm: 4880 4205 3642 33 0 582 0 Current children cumulated CPU time (s) 4.77 Current children cumulated vsize (KiB) 72192 [startup+9.6109 s] /proc/loadavg: 1.41 1.18 0.92 2/39 27528 /proc/meminfo: memFree=322536/1048576 swapFree=2095456/2097144 [pid=27509] ppid=27508 vsize=2388 CPUtime=0 /proc/27509/stat : 27509 (sh) S 27508 27509 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525071939 2445312 267 1283457024 134512640 135191968 4286743360 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27509/statm: 597 267 227 166 0 29 0 [pid=27512] ppid=27509 vsize=49948 CPUtime=7.3 /proc/27512/stat : 27512 (apt-pbo) S 27509 27509 24102 769 24102 4202496 13081 13679 0 194 541 13 151 25 18 0 1 0 525071939 51146752 11736 1283457024 134512640 135758360 4293273792 18446744073709551615 4160378190 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/27512/statm: 12487 11736 3936 305 0 7838 0 [pid=27528] ppid=27512 vsize=0 CPUtime=0.31 /proc/27528/stat : 27528 (wbo) Z 27512 27509 24102 769 24102 4202508 1134 0 0 0 30 1 0 0 20 0 1 0 525072659 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/27528/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.61 Current children cumulated vsize (KiB) 52336 [startup+11.212 s] /proc/loadavg: 1.41 1.18 0.92 2/41 27537 /proc/meminfo: memFree=318288/1048576 swapFree=2095456/2097144 [pid=27509] ppid=27508 vsize=2388 CPUtime=0 /proc/27509/stat : 27509 (sh) S 27508 27509 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525071939 2445312 267 1283457024 134512640 135191968 4286743360 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27509/statm: 597 267 227 166 0 29 0 [pid=27512] ppid=27509 vsize=49976 CPUtime=8.83 /proc/27512/stat : 27512 (apt-pbo) S 27509 27509 24102 769 24102 4202496 14215 20194 0 194 566 16 264 37 18 0 1 0 525071939 51175424 11764 1283457024 134512640 135758360 4293273792 18446744073709551615 4160378190 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/27512/statm: 12494 11764 3937 305 0 7845 0 [pid=27533] ppid=27512 vsize=0 CPUtime=0.37 /proc/27533/stat : 27533 (wbo) Z 27512 27509 24102 769 24102 4202508 1375 0 0 0 36 1 0 0 21 0 1 0 525072959 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/27533/statm: 0 0 0 0 0 0 0 [pid=27534] ppid=27512 vsize=2416 CPUtime=0 /proc/27534/stat : 27534 (apt-get.sh) S 27512 27509 24102 769 24102 4202496 414 613 0 0 0 0 0 0 19 0 1 0 525073023 2473984 271 1283457024 134512640 135191968 4293116736 18446744073709551615 4159273374 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27534/statm: 604 271 224 166 0 36 0 [pid=27537] ppid=27534 vsize=19528 CPUtime=0.34 /proc/27537/stat : 27537 (apt-get) R 27534 27509 24102 769 24102 4202496 4326 0 0 0 30 4 0 0 23 0 1 0 525073024 19996672 4215 1283457024 134512640 134646397 4287749680 18446744073709551615 4156712371 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/27537/statm: 4882 4215 3642 33 0 584 0 Current children cumulated CPU time (s) 9.54 Current children cumulated vsize (KiB) 74308 [startup+12.0122 s] /proc/loadavg: 1.41 1.18 0.92 2/41 27537 /proc/meminfo: memFree=318288/1048576 swapFree=2095456/2097144 [pid=27509] ppid=27508 vsize=2388 CPUtime=0 /proc/27509/stat : 27509 (sh) S 27508 27509 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525071939 2445312 267 1283457024 134512640 135191968 4286743360 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27509/statm: 597 267 227 166 0 29 0 [pid=27512] ppid=27509 vsize=49976 CPUtime=10.13 /proc/27512/stat : 27512 (apt-pbo) S 27509 27509 24102 769 24102 4202496 15078 26955 0 194 566 17 380 50 18 0 1 0 525071939 51175424 11764 1283457024 134512640 135758360 4293273792 18446744073709551615 4160378190 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/27512/statm: 12494 11764 3937 305 0 7845 0 Current children cumulated CPU time (s) 10.13 Current children cumulated vsize (KiB) 52364 [startup+12.4123 s] /proc/loadavg: 1.41 1.18 0.92 2/39 27538 /proc/meminfo: memFree=314964/1048576 swapFree=2095456/2097144 [pid=27509] ppid=27508 vsize=2388 CPUtime=0 /proc/27509/stat : 27509 (sh) S 27508 27509 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525071939 2445312 267 1283457024 134512640 135191968 4286743360 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27509/statm: 597 267 227 166 0 29 0 [pid=27512] ppid=27509 vsize=49976 CPUtime=10.37 /proc/27512/stat : 27512 (apt-pbo) R 27509 27509 24102 769 24102 4202496 15348 26955 0 194 590 17 380 50 18 0 1 0 525071939 51175424 11764 1283457024 134512640 135758360 4293273792 18446744073709551615 135043671 0 0 128 0 0 0 0 17 0 0 0 0 /proc/27512/statm: 12494 11764 3937 305 0 7845 0 [pid=27538] ppid=27512 vsize=0 CPUtime=0.39 /proc/27538/stat : 27538 (wbo) Z 27512 27509 24102 769 24102 4202508 1217 0 0 0 39 0 0 0 21 0 1 0 525073117 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/27538/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 10.76 Current children cumulated vsize (KiB) 52364 [startup+12.5023 s] /proc/loadavg: 1.41 1.18 0.92 2/39 27538 /proc/meminfo: memFree=314964/1048576 swapFree=2095456/2097144 [pid=27509] ppid=27508 vsize=2388 CPUtime=0 /proc/27509/stat : 27509 (sh) S 27508 27509 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525071939 2445312 267 1283457024 134512640 135191968 4286743360 18446744073709551615 4158998942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27509/statm: 597 267 227 166 0 29 0 [pid=27512] ppid=27509 vsize=49976 CPUtime=10.45 /proc/27512/stat : 27512 (apt-pbo) R 27509 27509 24102 769 24102 4202496 18888 26955 0 194 598 17 380 50 18 0 1 0 525071939 51175424 11764 1283457024 134512640 135758360 4293273792 18446744073709551615 4160370513 0 0 128 0 0 0 0 17 0 0 0 0 /proc/27512/statm: 12494 11764 3937 305 0 7845 0 [pid=27538] ppid=27512 vsize=0 CPUtime=0.39 /proc/27538/stat : 27538 (wbo) Z 27512 27509 24102 769 24102 4202508 1217 0 0 0 39 0 0 0 21 0 1 0 525073117 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/27538/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 10.84 Current children cumulated vsize (KiB) 52364 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27509 and gives # childrusage.ru_utime.tv_sec=9 # childrusage.ru_utime.tv_usec=792612 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=688043 # CPU time returned by wait4() is 10.4807 # while last known CPU time is 10.84 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 12.5166 CPU time (s): 10.84 CPU user time (s): 10.17 CPU system time (s): 0.67 CPU usage (%): 86.6052 Max. virtual memory (cumulated for all children) (KiB): 89688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.79261 system time used= 0.688043 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46726 page faults= 194 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7806 involuntary context switches= 8085 runsolver used 0 second user time and 0.008 second system time The end