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/201012070034/aptitude-trendy-1.0/412959c6-e965-11de-8ebf-00163e6585dd.cudf.debian-dudf.log.runsolver ./aptitude-trendy-1.0 /home/misc2010/data/2010/debian-dudf//412959c6-e965-11de-8ebf-00163e6585dd.cudf /home/misc2010/tmp/201012070034/aptitude-trendy-1.0/412959c6-e965-11de-8ebf-00163e6585dd.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.94 1.03 1.03 5/47 21170 /proc/meminfo: memFree=831212/1048576 swapFree=2077700/2097144 [pid=21162] ppid=21161 vsize=2584 CPUtime=0 /proc/21162/stat : 21162 (aptitude-trendy) S 21161 21162 4159 34819 4229 4202496 519 1367 0 0 0 0 0 0 18 0 1 0 881748506 2646016 281 1283457024 134512640 135304128 4290741728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21162/statm: 646 281 237 194 0 32 0 [pid=21170] ppid=21162 vsize=2004 CPUtime=0.01 /proc/21170/stat : 21170 (cp) R 21162 21162 4159 34819 4229 4202496 255 0 0 0 0 1 0 0 25 0 1 0 881748507 2052096 183 1283457024 134512640 134614052 4292364320 18446744073709551615 4294960130 0 0 0 0 0 0 0 17 0 0 0 0 /proc/21170/statm: 501 183 145 25 0 47 0 [startup+0.143063 s] /proc/loadavg: 0.94 1.03 1.03 5/47 21170 /proc/meminfo: memFree=831212/1048576 swapFree=2077700/2097144 [pid=21162] ppid=21161 vsize=2584 CPUtime=0.03 /proc/21162/stat : 21162 (aptitude-trendy) R 21161 21162 4159 34819 4229 4202496 549 1868 0 0 0 0 0 3 25 0 1 0 881748506 2646016 284 1283457024 134512640 135304128 4290741728 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/21162/statm: 646 284 240 194 0 32 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2584 [startup+0.213076 s] /proc/loadavg: 0.94 1.03 1.03 5/47 21170 /proc/meminfo: memFree=831212/1048576 swapFree=2077700/2097144 [pid=21162] ppid=21161 vsize=2584 CPUtime=0.03 /proc/21162/stat : 21162 (aptitude-trendy) S 21161 21162 4159 34819 4229 4202496 568 1868 0 0 0 0 0 3 25 0 1 0 881748506 2646016 284 1283457024 134512640 135304128 4290741728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21162/statm: 646 284 240 194 0 32 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2584 [startup+0.303101 s] /proc/loadavg: 0.94 1.03 1.03 5/47 21170 /proc/meminfo: memFree=831212/1048576 swapFree=2077700/2097144 [pid=21162] ppid=21161 vsize=2584 CPUtime=0.03 /proc/21162/stat : 21162 (aptitude-trendy) S 21161 21162 4159 34819 4229 4202496 568 1868 0 0 0 0 0 3 25 0 1 0 881748506 2646016 284 1283457024 134512640 135304128 4290741728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21162/statm: 646 284 240 194 0 32 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2584 [startup+0.703232 s] /proc/loadavg: 0.94 1.03 1.03 5/47 21170 /proc/meminfo: memFree=831212/1048576 swapFree=2077700/2097144 [pid=21162] ppid=21161 vsize=2584 CPUtime=0.03 /proc/21162/stat : 21162 (aptitude-trendy) S 21161 21162 4159 34819 4229 4202496 568 1868 0 0 0 0 0 3 25 0 1 0 881748506 2646016 284 1283457024 134512640 135304128 4290741728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21162/statm: 646 284 240 194 0 32 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2584 [startup+1.50351 s] /proc/loadavg: 0.94 1.03 1.03 2/48 21173 /proc/meminfo: memFree=803168/1048576 swapFree=2077700/2097144 [pid=21162] ppid=21161 vsize=2584 CPUtime=0.03 /proc/21162/stat : 21162 (aptitude-trendy) S 21161 21162 4159 34819 4229 4202496 568 1868 0 0 0 0 0 3 25 0 1 0 881748506 2646016 284 1283457024 134512640 135304128 4290741728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21162/statm: 646 284 240 194 0 32 0 [pid=21173] ppid=21162 vsize=29964 CPUtime=1.46 /proc/21173/stat : 21173 (cudftodeb.nativ) R 21162 21162 4159 34819 4229 4202496 7070 0 0 0 139 7 0 0 25 0 1 0 881748509 30683136 6996 1283457024 134512640 135004320 4294509024 18446744073709551615 134953038 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/21173/statm: 7491 6996 225 121 0 6883 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32548 [startup+3.10417 s] /proc/loadavg: 0.94 1.03 1.03 2/48 21173 /proc/meminfo: memFree=780724/1048576 swapFree=2077700/2097144 [pid=21162] ppid=21161 vsize=2584 CPUtime=0.03 /proc/21162/stat : 21162 (aptitude-trendy) S 21161 21162 4159 34819 4229 4202496 568 1868 0 0 0 0 0 3 25 0 1 0 881748506 2646016 284 1283457024 134512640 135304128 4290741728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21162/statm: 646 284 240 194 0 32 0 [pid=21173] ppid=21162 vsize=58764 CPUtime=3.06 /proc/21173/stat : 21173 (cudftodeb.nativ) R 21162 21162 4159 34819 4229 4202496 14202 0 0 0 295 11 0 0 25 0 1 0 881748509 60174336 14128 1283457024 134512640 135004320 4294509024 18446744073709551615 134865073 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/21173/statm: 14691 14128 237 121 0 14083 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 61348 [startup+6.31068 s] /proc/loadavg: 0.94 1.03 1.03 1/48 21184 /proc/meminfo: memFree=777360/1048576 swapFree=2077700/2097144 [pid=21162] ppid=21161 vsize=2592 CPUtime=3.99 /proc/21162/stat : 21162 (aptitude-trendy) S 21161 21162 4159 34819 4229 4202496 699 19246 0 1 0 0 377 22 18 0 1 0 881748506 2654208 295 1283457024 134512640 135304128 4290741728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21162/statm: 648 295 249 194 0 34 0 [pid=21183] ppid=21162 vsize=40172 CPUtime=1.07 /proc/21183/stat : 21183 (aptitude) R 21162 21162 4159 34819 4229 4202496 9680 239 173 0 103 4 0 0 19 0 2 0 881748979 41136128 6223 1283457024 134512640 137933492 4291609744 18446744073709551615 136299182 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 0 /proc/21183/statm: 10043 6223 3913 836 0 4325 0 Current children cumulated CPU time (s) 5.06 Current children cumulated vsize (KiB) 42764 Solver just ended. Dumping a history of the last processes samples [startup+6.4107 s] /proc/loadavg: 0.94 1.03 1.03 1/48 21184 /proc/meminfo: memFree=777360/1048576 swapFree=2077700/2097144 [pid=21162] ppid=21161 vsize=2592 CPUtime=3.99 /proc/21162/stat : 21162 (aptitude-trendy) S 21161 21162 4159 34819 4229 4202496 699 19246 0 1 0 0 377 22 18 0 1 0 881748506 2654208 295 1283457024 134512640 135304128 4290741728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21162/statm: 648 295 249 194 0 34 0 [pid=21183] ppid=21162 vsize=40172 CPUtime=1.17 /proc/21183/stat : 21183 (aptitude) R 21162 21162 4159 34819 4229 4202496 9683 239 173 0 113 4 0 0 19 0 2 0 881748979 41136128 6226 1283457024 134512640 137933492 4291609744 18446744073709551615 4154813905 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 0 /proc/21183/statm: 10043 6226 3916 836 0 4325 0 Current children cumulated CPU time (s) 5.16 Current children cumulated vsize (KiB) 42764 [startup+8.01104 s] /proc/loadavg: 0.95 1.03 1.03 2/49 21188 /proc/meminfo: memFree=764208/1048576 swapFree=2077700/2097144 [pid=21162] ppid=21161 vsize=2592 CPUtime=6.58 /proc/21162/stat : 21162 (aptitude-trendy) S 21161 21162 4159 34819 4229 4202496 725 34048 0 174 0 0 626 32 18 0 1 0 881748506 2654208 295 1283457024 134512640 135304128 4290741728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21162/statm: 648 295 249 194 0 34 0 Current children cumulated CPU time (s) 6.58 Current children cumulated vsize (KiB) 2592 [startup+8.81126 s] /proc/loadavg: 0.95 1.03 1.03 2/48 21189 /proc/meminfo: memFree=758388/1048576 swapFree=2077700/2097144 [pid=21162] ppid=21161 vsize=2592 CPUtime=6.58 /proc/21162/stat : 21162 (aptitude-trendy) S 21161 21162 4159 34819 4229 4202496 725 34048 0 174 0 0 626 32 18 0 1 0 881748506 2654208 295 1283457024 134512640 135304128 4290741728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21162/statm: 648 295 249 194 0 34 0 [pid=21189] ppid=21162 vsize=21988 CPUtime=0.99 /proc/21189/stat : 21189 (aptsolutions.na) R 21162 21162 4159 34819 4229 4202496 5096 0 0 0 96 3 0 0 23 0 1 0 881749289 22515712 4984 1283457024 134512640 134971616 4287476480 18446744073709551615 134801585 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/21189/statm: 5497 4984 204 113 0 4899 0 Current children cumulated CPU time (s) 7.57 Current children cumulated vsize (KiB) 24580 [startup+9.61147 s] /proc/loadavg: 0.95 1.03 1.03 2/48 21189 /proc/meminfo: memFree=758388/1048576 swapFree=2077700/2097144 [pid=21162] ppid=21161 vsize=2592 CPUtime=6.58 /proc/21162/stat : 21162 (aptitude-trendy) S 21161 21162 4159 34819 4229 4202496 725 34048 0 174 0 0 626 32 18 0 1 0 881748506 2654208 295 1283457024 134512640 135304128 4290741728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21162/statm: 648 295 249 194 0 34 0 [pid=21189] ppid=21162 vsize=37860 CPUtime=1.79 /proc/21189/stat : 21189 (aptsolutions.na) R 21162 21162 4159 34819 4229 4202496 9009 0 0 0 174 5 0 0 25 0 1 0 881749289 38768640 8897 1283457024 134512640 134971616 4287476480 18446744073709551615 134954290 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/21189/statm: 9465 8897 204 113 0 8867 0 Current children cumulated CPU time (s) 8.37 Current children cumulated vsize (KiB) 40452 [startup+9.81155 s] /proc/loadavg: 0.95 1.03 1.03 2/48 21189 /proc/meminfo: memFree=758388/1048576 swapFree=2077700/2097144 [pid=21162] ppid=21161 vsize=2592 CPUtime=6.58 /proc/21162/stat : 21162 (aptitude-trendy) S 21161 21162 4159 34819 4229 4202496 725 34048 0 174 0 0 626 32 18 0 1 0 881748506 2654208 295 1283457024 134512640 135304128 4290741728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21162/statm: 648 295 249 194 0 34 0 [pid=21189] ppid=21162 vsize=42804 CPUtime=1.98 /proc/21189/stat : 21189 (aptsolutions.na) R 21162 21162 4159 34819 4229 4202496 10283 0 0 0 192 6 0 0 25 0 1 0 881749289 43831296 10166 1283457024 134512640 134971616 4287476480 18446744073709551615 134964728 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/21189/statm: 10701 10166 209 113 0 10103 0 Current children cumulated CPU time (s) 8.56 Current children cumulated vsize (KiB) 45396 Child status: 0 Real time (s): 9.90002 CPU time (s): 8.66054 CPU user time (s): 8.26852 CPU system time (s): 0.392024 CPU usage (%): 87.48 Max. virtual memory (cumulated for all children) (KiB): 111004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.26852 system time used= 0.392024 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46830 page faults= 174 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 126 involuntary context switches= 163 runsolver used 0 second user time and 0 second system time The end