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/rand951a14.cudf.easy.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/easy//rand951a14.cudf /home/misc2010/tmp/201007050905/apt-pbo-trendy-1.0.5/rand951a14.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.40 1.30 1.02 3/34 28159 /proc/meminfo: memFree=501980/1048576 swapFree=2095456/2097144 [pid=28157] ppid=28156 vsize=2388 CPUtime=0 /proc/28157/stat : 28157 (sh) S 28156 28157 24102 769 24102 4202496 392 308 0 0 0 0 0 0 24 0 1 0 525097818 2445312 267 1283457024 134512640 135191968 4293589440 18446744073709551615 4159039902 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28157/statm: 597 267 227 166 0 29 0 [pid=28159] ppid=28157 vsize=3512 CPUtime=0 /proc/28159/stat : 28159 (apt-pbo) R 28157 28157 24102 769 24102 4202496 533 0 0 0 0 0 0 0 25 0 1 0 525097819 3596288 465 1283457024 134512640 135758360 4294132112 18446744073709551615 134691901 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28159/statm: 878 465 357 305 0 153 0 [startup+0.188561 s] /proc/loadavg: 1.40 1.30 1.02 3/34 28159 /proc/meminfo: memFree=501980/1048576 swapFree=2095456/2097144 [pid=28157] ppid=28156 vsize=2388 CPUtime=0 /proc/28157/stat : 28157 (sh) S 28156 28157 24102 769 24102 4202496 392 308 0 0 0 0 0 0 24 0 1 0 525097818 2445312 267 1283457024 134512640 135191968 4293589440 18446744073709551615 4159039902 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28157/statm: 597 267 227 166 0 29 0 [pid=28159] ppid=28157 vsize=8580 CPUtime=0.18 /proc/28159/stat : 28159 (apt-pbo) R 28157 28157 24102 769 24102 4202496 1927 722 0 0 16 2 0 0 25 0 1 0 525097819 8785920 1516 1283457024 134512640 135758360 4294132112 18446744073709551615 4158842384 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28159/statm: 2145 1516 630 305 0 918 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 10968 [startup+0.208558 s] /proc/loadavg: 1.40 1.30 1.02 3/34 28159 /proc/meminfo: memFree=501980/1048576 swapFree=2095456/2097144 [pid=28157] ppid=28156 vsize=2388 CPUtime=0 /proc/28157/stat : 28157 (sh) S 28156 28157 24102 769 24102 4202496 392 308 0 0 0 0 0 0 24 0 1 0 525097818 2445312 267 1283457024 134512640 135191968 4293589440 18446744073709551615 4159039902 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28157/statm: 597 267 227 166 0 29 0 [pid=28159] ppid=28157 vsize=8712 CPUtime=0.2 /proc/28159/stat : 28159 (apt-pbo) R 28157 28157 24102 769 24102 4202496 1959 722 0 0 18 2 0 0 25 0 1 0 525097819 8921088 1548 1283457024 134512640 135758360 4294132112 18446744073709551615 135341694 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28159/statm: 2178 1548 630 305 0 951 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 11100 [startup+0.30858 s] /proc/loadavg: 1.40 1.30 1.02 3/34 28159 /proc/meminfo: memFree=501980/1048576 swapFree=2095456/2097144 [pid=28157] ppid=28156 vsize=2388 CPUtime=0 /proc/28157/stat : 28157 (sh) S 28156 28157 24102 769 24102 4202496 392 308 0 0 0 0 0 0 24 0 1 0 525097818 2445312 267 1283457024 134512640 135191968 4293589440 18446744073709551615 4159039902 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28157/statm: 597 267 227 166 0 29 0 [pid=28159] ppid=28157 vsize=9380 CPUtime=0.3 /proc/28159/stat : 28159 (apt-pbo) R 28157 28157 24102 769 24102 4202496 2134 722 0 0 28 2 0 0 25 0 1 0 525097819 9605120 1723 1283457024 134512640 135758360 4294132112 18446744073709551615 135510309 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28159/statm: 2345 1723 630 305 0 1118 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 11768 [startup+0.708657 s] /proc/loadavg: 1.40 1.30 1.02 3/34 28159 /proc/meminfo: memFree=501980/1048576 swapFree=2095456/2097144 [pid=28157] ppid=28156 vsize=2388 CPUtime=0 /proc/28157/stat : 28157 (sh) S 28156 28157 24102 769 24102 4202496 392 308 0 0 0 0 0 0 24 0 1 0 525097818 2445312 267 1283457024 134512640 135191968 4293589440 18446744073709551615 4159039902 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28157/statm: 597 267 227 166 0 29 0 [pid=28159] ppid=28157 vsize=12064 CPUtime=0.7 /proc/28159/stat : 28159 (apt-pbo) R 28157 28157 24102 769 24102 4202496 2839 722 0 0 68 2 0 0 25 0 1 0 525097819 12353536 2390 1283457024 134512640 135758360 4294132112 18446744073709551615 134893877 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28159/statm: 3016 2390 630 305 0 1789 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 14452 [startup+1.50881 s] /proc/loadavg: 1.40 1.30 1.02 2/35 28162 /proc/meminfo: memFree=490224/1048576 swapFree=2095456/2097144 [pid=28157] ppid=28156 vsize=2388 CPUtime=0 /proc/28157/stat : 28157 (sh) S 28156 28157 24102 769 24102 4202496 392 308 0 0 0 0 0 0 24 0 1 0 525097818 2445312 267 1283457024 134512640 135191968 4293589440 18446744073709551615 4159039902 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28157/statm: 597 267 227 166 0 29 0 [pid=28159] ppid=28157 vsize=17380 CPUtime=1.5 /proc/28159/stat : 28159 (apt-pbo) R 28157 28157 24102 769 24102 4202496 4182 722 0 0 147 3 0 0 25 0 1 0 525097819 17797120 3720 1283457024 134512640 135758360 4294132112 18446744073709551615 134873676 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28159/statm: 4345 3720 630 305 0 3118 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 19768 [startup+3.10915 s] /proc/loadavg: 1.40 1.30 1.02 2/35 28162 /proc/meminfo: memFree=479808/1048576 swapFree=2095456/2097144 [pid=28157] ppid=28156 vsize=2388 CPUtime=0 /proc/28157/stat : 28157 (sh) S 28156 28157 24102 769 24102 4202496 392 308 0 0 0 0 0 0 24 0 1 0 525097818 2445312 267 1283457024 134512640 135191968 4293589440 18446744073709551615 4159039902 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28157/statm: 597 267 227 166 0 29 0 [pid=28159] ppid=28157 vsize=28008 CPUtime=3.1 /proc/28159/stat : 28159 (apt-pbo) R 28157 28157 24102 769 24102 4202496 6844 722 0 0 304 6 0 0 25 0 1 0 525097819 28680192 6374 1283457024 134512640 135758360 4294132112 18446744073709551615 135353956 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28159/statm: 7002 6374 630 305 0 5775 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 30396 [startup+6.31041 s] /proc/loadavg: 1.36 1.29 1.02 3/36 28176 /proc/meminfo: memFree=433068/1048576 swapFree=2095456/2097144 [pid=28157] ppid=28156 vsize=2388 CPUtime=0 /proc/28157/stat : 28157 (sh) S 28156 28157 24102 769 24102 4202496 392 308 0 0 0 0 0 0 24 0 1 0 525097818 2445312 267 1283457024 134512640 135191968 4293589440 18446744073709551615 4159039902 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28157/statm: 597 267 227 166 0 29 0 [pid=28159] ppid=28157 vsize=49416 CPUtime=5.88 /proc/28159/stat : 28159 (apt-pbo) R 28157 28157 24102 769 24102 4202496 12909 13681 0 194 410 12 147 19 18 0 1 0 525097819 50601984 11600 1283457024 134512640 135758360 4294132112 18446744073709551615 134948614 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28159/statm: 12354 11600 3936 305 0 7705 0 [pid=28176] ppid=28159 vsize=0 CPUtime=0.35 /proc/28176/stat : 28176 (wbo) Z 28159 28157 24102 769 24102 4202508 1309 0 0 0 35 0 0 0 20 0 1 0 525098360 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/28176/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 51804 Solver just ended. Dumping a history of the last processes samples [startup+6.41043 s] /proc/loadavg: 1.36 1.29 1.02 3/36 28176 /proc/meminfo: memFree=433068/1048576 swapFree=2095456/2097144 [pid=28157] ppid=28156 vsize=2388 CPUtime=0 /proc/28157/stat : 28157 (sh) S 28156 28157 24102 769 24102 4202496 392 308 0 0 0 0 0 0 24 0 1 0 525097818 2445312 267 1283457024 134512640 135191968 4293589440 18446744073709551615 4159039902 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28157/statm: 597 267 227 166 0 29 0 [pid=28159] ppid=28157 vsize=49548 CPUtime=5.98 /proc/28159/stat : 28159 (apt-pbo) R 28157 28157 24102 769 24102 4202496 12939 13681 0 194 420 12 147 19 19 0 1 0 525097819 50737152 11630 1283457024 134512640 135758360 4294132112 18446744073709551615 135520056 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28159/statm: 12387 11630 3936 305 0 7738 0 [pid=28176] ppid=28159 vsize=0 CPUtime=0.35 /proc/28176/stat : 28176 (wbo) Z 28159 28157 24102 769 24102 4202508 1309 0 0 0 35 0 0 0 20 0 1 0 525098360 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/28176/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.33 Current children cumulated vsize (KiB) 51936 [startup+9.61097 s] /proc/loadavg: 1.36 1.29 1.02 2/36 28181 /proc/meminfo: memFree=430836/1048576 swapFree=2095456/2097144 [pid=28157] ppid=28156 vsize=2388 CPUtime=0 /proc/28157/stat : 28157 (sh) S 28156 28157 24102 769 24102 4202496 392 308 0 0 0 0 0 0 24 0 1 0 525097818 2445312 267 1283457024 134512640 135191968 4293589440 18446744073709551615 4159039902 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28157/statm: 597 267 227 166 0 29 0 [pid=28159] ppid=28157 vsize=50124 CPUtime=8.85 /proc/28159/stat : 28159 (apt-pbo) S 28157 28157 24102 769 24102 4202496 14227 20373 0 194 577 14 266 28 18 0 1 0 525097819 51326976 11771 1283457024 134512640 135758360 4294132112 18446744073709551615 4159731022 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/28159/statm: 12531 11771 3937 305 0 7882 0 [pid=28181] ppid=28159 vsize=0 CPUtime=0.46 /proc/28181/stat : 28181 (wbo) Z 28159 28157 24102 769 24102 4202508 1292 0 0 0 43 3 0 0 21 0 1 0 525098685 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/28181/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 9.31 Current children cumulated vsize (KiB) 52512 [startup+10.4111 s] /proc/loadavg: 1.36 1.29 1.02 2/38 28185 /proc/meminfo: memFree=431928/1048576 swapFree=2095456/2097144 [pid=28157] ppid=28156 vsize=2388 CPUtime=0 /proc/28157/stat : 28157 (sh) S 28156 28157 24102 769 24102 4202496 392 308 0 0 0 0 0 0 24 0 1 0 525097818 2445312 267 1283457024 134512640 135191968 4293589440 18446744073709551615 4159039902 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28157/statm: 597 267 227 166 0 29 0 [pid=28159] ppid=28157 vsize=50124 CPUtime=10.25 /proc/28159/stat : 28159 (apt-pbo) R 28157 28157 24102 769 24102 4202496 14857 27056 0 194 578 15 390 42 18 0 1 0 525097819 51326976 11771 1283457024 134512640 135758360 4294132112 18446744073709551615 4158988704 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28159/statm: 12531 11771 3937 305 0 7882 0 Current children cumulated CPU time (s) 10.25 Current children cumulated vsize (KiB) 52512 [startup+10.8111 s] /proc/loadavg: 1.36 1.29 1.02 2/38 28185 /proc/meminfo: memFree=431928/1048576 swapFree=2095456/2097144 [pid=28157] ppid=28156 vsize=2388 CPUtime=0 /proc/28157/stat : 28157 (sh) S 28156 28157 24102 769 24102 4202496 392 308 0 0 0 0 0 0 24 0 1 0 525097818 2445312 267 1283457024 134512640 135191968 4293589440 18446744073709551615 4159039902 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28157/statm: 597 267 227 166 0 29 0 [pid=28159] ppid=28157 vsize=50124 CPUtime=10.27 /proc/28159/stat : 28159 (apt-pbo) R 28157 28157 24102 769 24102 4202496 15339 27056 0 194 580 15 390 42 18 0 1 0 525097819 51326976 11771 1283457024 134512640 135758360 4294132112 18446744073709551615 4158846464 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28159/statm: 12531 11771 3937 305 0 7882 0 Current children cumulated CPU time (s) 10.27 Current children cumulated vsize (KiB) 52512 [startup+11.0112 s] /proc/loadavg: 1.33 1.29 1.02 2/36 28186 /proc/meminfo: memFree=431712/1048576 swapFree=2095456/2097144 [pid=28157] ppid=28156 vsize=2388 CPUtime=0 /proc/28157/stat : 28157 (sh) S 28156 28157 24102 769 24102 4202496 392 308 0 0 0 0 0 0 24 0 1 0 525097818 2445312 267 1283457024 134512640 135191968 4293589440 18446744073709551615 4159039902 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28157/statm: 597 267 227 166 0 29 0 [pid=28159] ppid=28157 vsize=50124 CPUtime=10.47 /proc/28159/stat : 28159 (apt-pbo) R 28157 28157 24102 769 24102 4202496 15365 27056 0 194 600 15 390 42 18 0 1 0 525097819 51326976 11771 1283457024 134512640 135758360 4294132112 18446744073709551615 135202492 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28159/statm: 12531 11771 3937 305 0 7882 0 [pid=28186] ppid=28159 vsize=0 CPUtime=0.46 /proc/28186/stat : 28186 (wbo) Z 28159 28157 24102 769 24102 4202508 1305 0 0 0 45 1 0 0 21 0 1 0 525098851 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/28186/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 10.93 Current children cumulated vsize (KiB) 52512 [startup+11.1112 s] /proc/loadavg: 1.33 1.29 1.02 2/36 28186 /proc/meminfo: memFree=431712/1048576 swapFree=2095456/2097144 [pid=28157] ppid=28156 vsize=2388 CPUtime=0 /proc/28157/stat : 28157 (sh) S 28156 28157 24102 769 24102 4202496 392 308 0 0 0 0 0 0 24 0 1 0 525097818 2445312 267 1283457024 134512640 135191968 4293589440 18446744073709551615 4159039902 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28157/statm: 597 267 227 166 0 29 0 [pid=28159] ppid=28157 vsize=50124 CPUtime=10.56 /proc/28159/stat : 28159 (apt-pbo) R 28157 28157 24102 769 24102 4202496 18554 27056 0 194 608 16 390 42 18 0 1 0 525097819 51326976 11771 1283457024 134512640 135758360 4294132112 18446744073709551615 4158847945 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28159/statm: 12531 11771 3937 305 0 7882 0 [pid=28186] ppid=28159 vsize=0 CPUtime=0.46 /proc/28186/stat : 28186 (wbo) Z 28159 28157 24102 769 24102 4202508 1305 0 0 0 45 1 0 0 21 0 1 0 525098851 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/28186/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 11.02 Current children cumulated vsize (KiB) 52512 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 28157 and gives # childrusage.ru_utime.tv_sec=10 # childrusage.ru_utime.tv_usec=16626 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=584036 # CPU time returned by wait4() is 10.6007 # while last known CPU time is 11.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 11.1381 CPU time (s): 11.02 CPU user time (s): 10.43 CPU system time (s): 0.59 CPU usage (%): 98.9396 Max. virtual memory (cumulated for all children) (KiB): 74452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.0166 system time used= 0.584036 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46850 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= 8603 involuntary context switches= 8483 runsolver used 0 second user time and 0.012 second system time The end