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-paranoid-1.0.5/rand359ca0.cudf.easy.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/easy//rand359ca0.cudf /home/misc2010/tmp/201007050905/apt-pbo-paranoid-1.0.5/rand359ca0.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.19 1.09 0.60 3/34 25766 /proc/meminfo: memFree=510500/1048576 swapFree=2095456/2097144 [pid=25764] ppid=25763 vsize=2384 CPUtime=0 /proc/25764/stat : 25764 (sh) S 25763 25764 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524987557 2441216 266 1283457024 134512640 135191968 4287814704 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25764/statm: 596 266 227 166 0 28 0 [pid=25766] ppid=25764 vsize=2920 CPUtime=0 /proc/25766/stat : 25766 (apt-pbo) R 25764 25764 24102 769 24102 4194304 115 0 0 0 0 0 0 0 25 0 1 0 524987557 2990080 53 1283457024 134512640 135758360 4288984224 18446744073709551615 4160147588 0 0 0 0 0 0 0 17 0 0 0 0 /proc/25766/statm: 730 53 35 305 0 12 0 [startup+0.180724 s] /proc/loadavg: 1.19 1.09 0.60 3/34 25766 /proc/meminfo: memFree=510500/1048576 swapFree=2095456/2097144 [pid=25764] ppid=25763 vsize=2384 CPUtime=0 /proc/25764/stat : 25764 (sh) S 25763 25764 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524987557 2441216 266 1283457024 134512640 135191968 4287814704 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25764/statm: 596 266 227 166 0 28 0 [pid=25766] ppid=25764 vsize=8452 CPUtime=0.16 /proc/25766/stat : 25766 (apt-pbo) R 25764 25764 24102 769 24102 4202496 1905 724 0 0 13 2 0 1 25 0 1 0 524987557 8654848 1489 1283457024 134512640 135758360 4288984224 18446744073709551615 134980416 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25766/statm: 2113 1489 630 305 0 886 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 10836 [startup+0.205536 s] /proc/loadavg: 1.19 1.09 0.60 3/34 25766 /proc/meminfo: memFree=510500/1048576 swapFree=2095456/2097144 [pid=25764] ppid=25763 vsize=2384 CPUtime=0 /proc/25764/stat : 25764 (sh) S 25763 25764 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524987557 2441216 266 1283457024 134512640 135191968 4287814704 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25764/statm: 596 266 227 166 0 28 0 [pid=25766] ppid=25764 vsize=8584 CPUtime=0.19 /proc/25766/stat : 25766 (apt-pbo) R 25764 25764 24102 769 24102 4202496 1939 724 0 0 16 2 0 1 25 0 1 0 524987557 8790016 1523 1283457024 134512640 135758360 4288984224 18446744073709551615 4158928384 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25766/statm: 2146 1523 630 305 0 919 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 10968 [startup+0.305567 s] /proc/loadavg: 1.19 1.09 0.60 3/34 25766 /proc/meminfo: memFree=510500/1048576 swapFree=2095456/2097144 [pid=25764] ppid=25763 vsize=2384 CPUtime=0 /proc/25764/stat : 25764 (sh) S 25763 25764 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524987557 2441216 266 1283457024 134512640 135191968 4287814704 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25764/statm: 596 266 227 166 0 28 0 [pid=25766] ppid=25764 vsize=9252 CPUtime=0.29 /proc/25766/stat : 25766 (apt-pbo) R 25764 25764 24102 769 24102 4202496 2105 724 0 0 26 2 0 1 25 0 1 0 524987557 9474048 1689 1283457024 134512640 135758360 4288984224 18446744073709551615 4158911887 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25766/statm: 2313 1689 630 305 0 1086 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11636 [startup+0.705729 s] /proc/loadavg: 1.19 1.09 0.60 3/34 25766 /proc/meminfo: memFree=510500/1048576 swapFree=2095456/2097144 [pid=25764] ppid=25763 vsize=2384 CPUtime=0 /proc/25764/stat : 25764 (sh) S 25763 25764 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524987557 2441216 266 1283457024 134512640 135191968 4287814704 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25764/statm: 596 266 227 166 0 28 0 [pid=25766] ppid=25764 vsize=11804 CPUtime=0.69 /proc/25766/stat : 25766 (apt-pbo) R 25764 25764 24102 769 24102 4202496 2771 724 0 0 64 4 0 1 25 0 1 0 524987557 12087296 2317 1283457024 134512640 135758360 4288984224 18446744073709551615 134963860 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25766/statm: 2951 2317 630 305 0 1724 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14188 [startup+1.50586 s] /proc/loadavg: 1.19 1.09 0.60 2/35 25769 /proc/meminfo: memFree=496912/1048576 swapFree=2095456/2097144 [pid=25764] ppid=25763 vsize=2384 CPUtime=0 /proc/25764/stat : 25764 (sh) S 25763 25764 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524987557 2441216 266 1283457024 134512640 135191968 4287814704 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25764/statm: 596 266 227 166 0 28 0 [pid=25766] ppid=25764 vsize=16860 CPUtime=1.49 /proc/25766/stat : 25766 (apt-pbo) R 25764 25764 24102 769 24102 4202496 4052 724 0 0 144 4 0 1 25 0 1 0 524987557 17264640 3585 1283457024 134512640 135758360 4288984224 18446744073709551615 134983032 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25766/statm: 4215 3585 630 305 0 2988 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19244 [startup+3.10632 s] /proc/loadavg: 1.19 1.09 0.60 2/35 25769 /proc/meminfo: memFree=484836/1048576 swapFree=2095456/2097144 [pid=25764] ppid=25763 vsize=2384 CPUtime=0 /proc/25764/stat : 25764 (sh) S 25763 25764 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524987557 2441216 266 1283457024 134512640 135191968 4287814704 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25764/statm: 596 266 227 166 0 28 0 [pid=25766] ppid=25764 vsize=26700 CPUtime=3.08 /proc/25766/stat : 25766 (apt-pbo) R 25764 25764 24102 769 24102 4202496 6532 724 0 0 299 8 0 1 25 0 1 0 524987557 27340800 6057 1283457024 134512640 135758360 4288984224 18446744073709551615 135510736 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25766/statm: 6675 6057 630 305 0 5448 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 29084 [startup+6.30879 s] /proc/loadavg: 1.17 1.08 0.60 2/37 25782 /proc/meminfo: memFree=436020/1048576 swapFree=2095456/2097144 [pid=25764] ppid=25763 vsize=2384 CPUtime=0 /proc/25764/stat : 25764 (sh) S 25763 25764 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524987557 2441216 266 1283457024 134512640 135191968 4287814704 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25764/statm: 596 266 227 166 0 28 0 [pid=25766] ppid=25764 vsize=48836 CPUtime=6.16 /proc/25766/stat : 25766 (apt-pbo) R 25764 25764 24102 769 24102 4202496 12753 13677 0 194 447 18 130 21 19 0 1 0 524987557 50008064 11449 1283457024 134512640 135758360 4288984224 18446744073709551615 4158929855 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25766/statm: 12209 11449 3936 305 0 7560 0 Current children cumulated CPU time (s) 6.16 Current children cumulated vsize (KiB) 51220 Solver just ended. Dumping a history of the last processes samples [startup+6.4089 s] /proc/loadavg: 1.17 1.08 0.60 2/37 25782 /proc/meminfo: memFree=436020/1048576 swapFree=2095456/2097144 [pid=25764] ppid=25763 vsize=2384 CPUtime=0 /proc/25764/stat : 25764 (sh) S 25763 25764 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524987557 2441216 266 1283457024 134512640 135191968 4287814704 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25764/statm: 596 266 227 166 0 28 0 [pid=25766] ppid=25764 vsize=49232 CPUtime=6.25 /proc/25766/stat : 25766 (apt-pbo) R 25764 25764 24102 769 24102 4202496 12861 13677 0 194 456 18 130 21 20 0 1 0 524987557 50413568 11555 1283457024 134512640 135758360 4288984224 18446744073709551615 134899285 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25766/statm: 12308 11555 3936 305 0 7659 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 51616 [startup+8.00997 s] /proc/loadavg: 1.16 1.08 0.60 2/36 25788 /proc/meminfo: memFree=435052/1048576 swapFree=2095456/2097144 [pid=25764] ppid=25763 vsize=2384 CPUtime=0 /proc/25764/stat : 25764 (sh) S 25763 25764 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524987557 2441216 266 1283457024 134512640 135191968 4287814704 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25764/statm: 596 266 227 166 0 28 0 [pid=25766] ppid=25764 vsize=49348 CPUtime=7.66 /proc/25766/stat : 25766 (apt-pbo) S 25764 25764 24102 769 24102 4202496 13786 19645 0 194 526 20 186 34 20 0 1 0 524987557 50532352 11597 1283457024 134512640 135758360 4288984224 18446744073709551615 4159812942 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/25766/statm: 12337 11597 3937 305 0 7688 0 [pid=25788] ppid=25766 vsize=0 CPUtime=0.06 /proc/25788/stat : 25788 (wbo) Z 25766 25764 24102 769 24102 4202508 701 0 0 0 6 0 0 0 18 0 1 0 524988314 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/25788/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.72 Current children cumulated vsize (KiB) 51732 [startup+8.41006 s] /proc/loadavg: 1.16 1.08 0.60 2/36 25788 /proc/meminfo: memFree=435052/1048576 swapFree=2095456/2097144 [pid=25764] ppid=25763 vsize=2384 CPUtime=0 /proc/25764/stat : 25764 (sh) S 25763 25764 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524987557 2441216 266 1283457024 134512640 135191968 4287814704 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25764/statm: 596 266 227 166 0 28 0 [pid=25766] ppid=25764 vsize=49348 CPUtime=7.66 /proc/25766/stat : 25766 (apt-pbo) S 25764 25764 24102 769 24102 4202496 13786 19645 0 194 526 20 186 34 20 0 1 0 524987557 50532352 11597 1283457024 134512640 135758360 4288984224 18446744073709551615 4159812942 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/25766/statm: 12337 11597 3937 305 0 7688 0 [pid=25788] ppid=25766 vsize=0 CPUtime=0.06 /proc/25788/stat : 25788 (wbo) Z 25766 25764 24102 769 24102 4202508 701 0 0 0 6 0 0 0 18 0 1 0 524988314 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/25788/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.72 Current children cumulated vsize (KiB) 51732 [startup+8.81081 s] /proc/loadavg: 1.16 1.08 0.60 2/36 25793 /proc/meminfo: memFree=438772/1048576 swapFree=2095456/2097144 [pid=25764] ppid=25763 vsize=2384 CPUtime=0 /proc/25764/stat : 25764 (sh) S 25763 25764 24102 769 24102 4202496 391 307 0 0 0 0 0 0 25 0 1 0 524987557 2441216 266 1283457024 134512640 135191968 4287814704 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25764/statm: 596 266 227 166 0 28 0 [pid=25766] ppid=25764 vsize=0 CPUtime=8.58 /proc/25766/stat : 25766 (apt-pbo) R 25764 25764 24102 769 24102 4202500 18219 25703 0 194 546 22 248 42 19 0 1 0 524987557 0 0 1283457024 0 0 0 0 0 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25766/statm: 0 0 0 0 0 0 0 [pid=25793] ppid=25766 vsize=0 CPUtime=0.07 /proc/25793/stat : 25793 (wbo) Z 25766 25764 24102 769 24102 4202508 729 0 0 0 6 1 0 0 20 0 1 0 524988408 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/25793/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 8.65 Current children cumulated vsize (KiB) 2384 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25764 and gives # childrusage.ru_utime.tv_sec=7 # childrusage.ru_utime.tv_usec=948496 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=656041 # CPU time returned by wait4() is 8.60454 # while last known CPU time is 8.65 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 8.81672 CPU time (s): 8.65 CPU user time (s): 8 CPU system time (s): 0.65 CPU usage (%): 98.1091 Max. virtual memory (cumulated for all children) (KiB): 89696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.9485 system time used= 0.656041 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44630 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= 1200 involuntary context switches= 1299 runsolver used 0 second user time and 0 second system time The end