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/apt-get-trendy-1.0/58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./apt-get-trendy-1.0 /home/misc2010/data/2010/debian-dudf//58a4a468-38a5-11df-a561-00163e7a6f5e.cudf /home/misc2010/tmp/201012070034/apt-get-trendy-1.0/58a4a468-38a5-11df-a561-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.02 1.01 1.03 5/45 26667 /proc/meminfo: memFree=891280/1048576 swapFree=2077184/2097144 [pid=26663] ppid=26662 vsize=2580 CPUtime=0 /proc/26663/stat : 26663 (apt-get-trendy-) R 26662 26663 4159 34819 4229 4202496 419 557 0 0 0 0 0 0 25 0 1 0 882999027 2641920 277 1283457024 134512640 135304128 4292614064 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/26663/statm: 645 277 235 194 0 31 0 [pid=26667] ppid=26663 vsize=2580 CPUtime=0 /proc/26667/stat : 26667 (apt-get-trendy-) R 26663 26663 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 25 0 1 0 882999028 2641920 42 1283457024 134512640 135304128 4292614064 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/26667/statm: 645 42 0 194 0 31 0 [startup+0.136271 s] /proc/loadavg: 1.02 1.01 1.03 5/45 26667 /proc/meminfo: memFree=891280/1048576 swapFree=2077184/2097144 [pid=26663] ppid=26662 vsize=2588 CPUtime=0 /proc/26663/stat : 26663 (apt-get-trendy-) S 26662 26663 4159 34819 4229 4202496 517 1357 0 0 0 0 0 0 25 0 1 0 882999027 2650112 281 1283457024 134512640 135304128 4292614064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26663/statm: 647 281 237 194 0 33 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2588 [startup+0.204282 s] /proc/loadavg: 1.02 1.01 1.03 5/45 26667 /proc/meminfo: memFree=891280/1048576 swapFree=2077184/2097144 [pid=26663] ppid=26662 vsize=2588 CPUtime=0 /proc/26663/stat : 26663 (apt-get-trendy-) S 26662 26663 4159 34819 4229 4202496 517 1357 0 0 0 0 0 0 25 0 1 0 882999027 2650112 281 1283457024 134512640 135304128 4292614064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26663/statm: 647 281 237 194 0 33 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2588 [startup+0.304265 s] /proc/loadavg: 1.02 1.01 1.03 5/45 26667 /proc/meminfo: memFree=891280/1048576 swapFree=2077184/2097144 [pid=26663] ppid=26662 vsize=2588 CPUtime=0 /proc/26663/stat : 26663 (apt-get-trendy-) S 26662 26663 4159 34819 4229 4202496 517 1357 0 0 0 0 0 0 25 0 1 0 882999027 2650112 281 1283457024 134512640 135304128 4292614064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26663/statm: 647 281 237 194 0 33 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2588 [startup+0.70919 s] /proc/loadavg: 1.02 1.01 1.03 5/45 26667 /proc/meminfo: memFree=891280/1048576 swapFree=2077184/2097144 [pid=26663] ppid=26662 vsize=2588 CPUtime=0.01 /proc/26663/stat : 26663 (apt-get-trendy-) S 26662 26663 4159 34819 4229 4202496 566 1856 0 0 0 0 0 1 23 0 1 0 882999027 2650112 284 1283457024 134512640 135304128 4292614064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26663/statm: 647 284 240 194 0 33 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2588 [startup+1.50933 s] /proc/loadavg: 1.02 1.01 1.03 2/46 26674 /proc/meminfo: memFree=833700/1048576 swapFree=2077184/2097144 [pid=26663] ppid=26662 vsize=2588 CPUtime=0.01 /proc/26663/stat : 26663 (apt-get-trendy-) S 26662 26663 4159 34819 4229 4202496 566 1856 0 0 0 0 0 1 23 0 1 0 882999027 2650112 284 1283457024 134512640 135304128 4292614064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26663/statm: 647 284 240 194 0 33 0 [pid=26674] ppid=26663 vsize=26212 CPUtime=1.19 /proc/26674/stat : 26674 (cudftodeb.nativ) R 26663 26663 4159 34819 4229 4202496 6122 0 0 0 117 2 0 0 25 0 1 0 882999058 26841088 6049 1283457024 134512640 135004320 4294838848 18446744073709551615 134959865 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/26674/statm: 6553 6049 225 121 0 5945 0 Current children cumulated CPU time (s) 1.2 Current children cumulated vsize (KiB) 28800 [startup+3.10966 s] /proc/loadavg: 1.02 1.00 1.03 2/46 26674 /proc/meminfo: memFree=812868/1048576 swapFree=2077184/2097144 [pid=26663] ppid=26662 vsize=2588 CPUtime=0.01 /proc/26663/stat : 26663 (apt-get-trendy-) S 26662 26663 4159 34819 4229 4202496 566 1856 0 0 0 0 0 1 23 0 1 0 882999027 2650112 284 1283457024 134512640 135304128 4292614064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26663/statm: 647 284 240 194 0 33 0 [pid=26674] ppid=26663 vsize=55712 CPUtime=2.8 /proc/26674/stat : 26674 (cudftodeb.nativ) R 26663 26663 4159 34819 4229 4202496 13378 0 0 0 268 12 0 0 25 0 1 0 882999058 57049088 13299 1283457024 134512640 135004320 4294838848 18446744073709551615 134948088 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/26674/statm: 13928 13299 225 121 0 13320 0 Current children cumulated CPU time (s) 2.81 Current children cumulated vsize (KiB) 58300 [startup+6.31065 s] /proc/loadavg: 1.02 1.00 1.03 2/46 26674 /proc/meminfo: memFree=754348/1048576 swapFree=2077184/2097144 [pid=26663] ppid=26662 vsize=2588 CPUtime=0.01 /proc/26663/stat : 26663 (apt-get-trendy-) S 26662 26663 4159 34819 4229 4202496 566 1856 0 0 0 0 0 1 23 0 1 0 882999027 2650112 284 1283457024 134512640 135304128 4292614064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26663/statm: 647 284 240 194 0 33 0 [pid=26674] ppid=26663 vsize=108772 CPUtime=5.99 /proc/26674/stat : 26674 (cudftodeb.nativ) R 26663 26663 4159 34819 4229 4202496 26457 0 0 0 584 15 0 0 25 0 1 0 882999058 111382528 26378 1283457024 134512640 135004320 4294838848 18446744073709551615 134865986 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/26674/statm: 27193 26378 237 121 0 26585 0 Current children cumulated CPU time (s) 6 Current children cumulated vsize (KiB) 111360 [startup+12.7051 s] /proc/loadavg: 1.01 1.00 1.03 2/46 26684 /proc/meminfo: memFree=780792/1048576 swapFree=2077184/2097144 [pid=26663] ppid=26662 vsize=2596 CPUtime=9.33 /proc/26663/stat : 26663 (apt-get-trendy-) S 26662 26663 4159 34819 4229 4202496 706 34646 0 1 0 0 901 32 18 0 1 0 882999027 2658304 295 1283457024 134512640 135304128 4292614064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26663/statm: 649 295 249 194 0 35 0 [pid=26684] ppid=26663 vsize=101456 CPUtime=1.11 /proc/26684/stat : 26684 (apt-get) D 26663 26663 4159 34819 4229 4202496 6142 0 339 0 104 7 0 0 19 0 1 0 883000132 103890944 6404 1283457024 134512640 134619611 4289819552 18446744073709551615 4294960130 0 0 4096 134217728 18446744071696460772 0 0 17 0 0 0 0 /proc/26684/statm: 25364 6404 6351 27 0 58 0 Current children cumulated CPU time (s) 10.44 Current children cumulated vsize (KiB) 104052 Solver just ended. Dumping a history of the last processes samples [startup+12.8051 s] /proc/loadavg: 1.01 1.00 1.03 2/46 26684 /proc/meminfo: memFree=780792/1048576 swapFree=2077184/2097144 [pid=26663] ppid=26662 vsize=2596 CPUtime=9.33 /proc/26663/stat : 26663 (apt-get-trendy-) S 26662 26663 4159 34819 4229 4202496 706 34646 0 1 0 0 901 32 18 0 1 0 882999027 2658304 295 1283457024 134512640 135304128 4292614064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26663/statm: 649 295 249 194 0 35 0 [pid=26684] ppid=26663 vsize=101456 CPUtime=1.17 /proc/26684/stat : 26684 (apt-get) R 26663 26663 4159 34819 4229 4202496 6330 0 351 0 110 7 0 0 18 0 1 0 883000132 103890944 6604 1283457024 134512640 134619611 4289819552 18446744073709551615 4159995186 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/26684/statm: 25364 6604 6551 27 0 58 0 Current children cumulated CPU time (s) 10.5 Current children cumulated vsize (KiB) 104052 [startup+13.2051 s] /proc/loadavg: 1.01 1.00 1.03 1/46 26684 /proc/meminfo: memFree=753520/1048576 swapFree=2077184/2097144 [pid=26663] ppid=26662 vsize=2596 CPUtime=9.33 /proc/26663/stat : 26663 (apt-get-trendy-) S 26662 26663 4159 34819 4229 4202496 706 34646 0 1 0 0 901 32 18 0 1 0 882999027 2658304 295 1283457024 134512640 135304128 4292614064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26663/statm: 649 295 249 194 0 35 0 [pid=26684] ppid=26663 vsize=101456 CPUtime=1.19 /proc/26684/stat : 26684 (apt-get) D 26663 26663 4159 34819 4229 4202496 6406 0 356 0 112 7 0 0 18 0 1 0 883000132 103890944 6685 1283457024 134512640 134619611 4289819552 18446744073709551615 4294960130 0 0 4096 134217728 18446744071564332537 0 0 17 0 0 0 0 /proc/26684/statm: 25364 6685 6632 27 0 58 0 Current children cumulated CPU time (s) 10.52 Current children cumulated vsize (KiB) 104052 [startup+13.4144 s] /proc/loadavg: 1.01 1.00 1.03 1/46 26684 /proc/meminfo: memFree=753520/1048576 swapFree=2077184/2097144 [pid=26663] ppid=26662 vsize=2596 CPUtime=9.33 /proc/26663/stat : 26663 (apt-get-trendy-) S 26662 26663 4159 34819 4229 4202496 706 34646 0 1 0 0 901 32 18 0 1 0 882999027 2658304 295 1283457024 134512640 135304128 4292614064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26663/statm: 649 295 249 194 0 35 0 [pid=26684] ppid=26663 vsize=31112 CPUtime=1.27 /proc/26684/stat : 26684 (apt-get) R 26663 26663 4159 34819 4229 4202496 12846 0 356 0 118 9 0 0 18 0 1 0 883000132 31858688 6848 1283457024 134512640 134619611 4289819552 18446744073709551615 4160004363 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/26684/statm: 7778 6848 6259 27 0 594 0 Current children cumulated CPU time (s) 10.6 Current children cumulated vsize (KiB) 33708 [startup+13.5145 s] /proc/loadavg: 1.01 1.00 1.03 1/46 26684 /proc/meminfo: memFree=753520/1048576 swapFree=2077184/2097144 [pid=26663] ppid=26662 vsize=2596 CPUtime=9.33 /proc/26663/stat : 26663 (apt-get-trendy-) S 26662 26663 4159 34819 4229 4202496 706 34646 0 1 0 0 901 32 18 0 1 0 882999027 2658304 295 1283457024 134512640 135304128 4292614064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26663/statm: 649 295 249 194 0 35 0 [pid=26684] ppid=26663 vsize=31112 CPUtime=1.37 /proc/26684/stat : 26684 (apt-get) R 26663 26663 4159 34819 4229 4202496 12887 0 356 0 128 9 0 0 18 0 1 0 883000132 31858688 6889 1283457024 134512640 134619611 4289819552 18446744073709551615 4157596848 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/26684/statm: 7778 6889 6300 27 0 594 0 Current children cumulated CPU time (s) 10.7 Current children cumulated vsize (KiB) 33708 Child status: 100 Real time (s): 13.6118 CPU time (s): 10.8127 CPU user time (s): 10.3886 CPU system time (s): 0.424026 CPU usage (%): 79.4363 Max. virtual memory (cumulated for all children) (KiB): 123512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.3886 system time used= 0.424026 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48369 page faults= 357 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 409 involuntary context switches= 228 runsolver used 0 second user time and 0 second system time The end