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: runsolver -W 300 -M 1124 -w /home/cbse/results/sarge-etch-lenny-squeeze/logs/102.runsolver.smart smart --config-file=/home/cbse/var/lib/smart/config remove libglibmm-2.4-1 kuiviewer libgucharmap4 kdict eyesapplet Enforcing wall clock limit (soft limit, will send signal-name then SIGKILL): 300 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.99 0.97 0.99 2/53 21702 /proc/meminfo: memFree=359244/1022884 swapFree=0/0 [pid=21702] ppid=21701 vsize=26808 CPUtime=0 /proc/21702/stat : 21702 (smart) R 21701 21702 2806 34818 2806 4202496 597 0 0 0 0 0 0 0 20 0 1 0 12410782 27451392 490 18446744073709551615 4194304 6763684 140736037449200 140736037439736 4352321 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/21702/statm: 6702 490 366 628 0 161 0 [startup+0.183986 s] /proc/loadavg: 0.99 0.97 0.99 2/53 21702 /proc/meminfo: memFree=359244/1022884 swapFree=0/0 [pid=21702] ppid=21701 vsize=134340 CPUtime=0.18 /proc/21702/stat : 21702 (smart) R 21701 21702 2806 34818 2806 4202496 12952 0 0 0 14 4 0 0 20 0 1 0 12410782 137564160 11672 18446744073709551615 4194304 6763684 140736037449200 140736037443912 140540175904253 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 /proc/21702/statm: 33585 11672 1043 628 0 11168 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 134340 [startup+0.200258 s] /proc/loadavg: 0.99 0.97 0.99 2/53 21702 /proc/meminfo: memFree=359244/1022884 swapFree=0/0 [pid=21702] ppid=21701 vsize=130532 CPUtime=0.18 /proc/21702/stat : 21702 (smart) R 21701 21702 2806 34818 2806 4202496 14165 0 0 0 14 4 0 0 20 0 1 0 12410782 133664768 11348 18446744073709551615 4194304 6763684 140736037449200 140736037444280 140540175792533 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 /proc/21702/statm: 32633 11348 1043 628 0 10216 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 130532 [startup+0.300257 s] /proc/loadavg: 0.99 0.97 0.99 2/53 21702 /proc/meminfo: memFree=359244/1022884 swapFree=0/0 [pid=21702] ppid=21701 vsize=135464 CPUtime=0.28 /proc/21702/stat : 21702 (smart) R 21701 21702 2806 34818 2806 4202496 18791 414 0 0 22 6 0 0 20 0 1 0 12410782 138715136 11643 18446744073709551615 4194304 6763684 140736037449200 140736037445256 140540175860058 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/21702/statm: 33866 11643 1058 628 0 10419 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 135464 [startup+0.700203 s] /proc/loadavg: 0.99 0.97 0.99 2/53 21702 /proc/meminfo: memFree=359244/1022884 swapFree=0/0 [pid=21702] ppid=21701 vsize=180848 CPUtime=0.68 /proc/21702/stat : 21702 (smart) R 21701 21702 2806 34818 2806 4202496 34002 414 0 0 59 9 0 0 20 0 1 0 12410782 185188352 22962 18446744073709551615 4194304 6763684 140736037449200 140736037445192 4533344 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/21702/statm: 45212 22962 1059 628 0 21765 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 180848 [startup+1.5002 s] /proc/loadavg: 0.99 0.97 0.99 2/54 21705 /proc/meminfo: memFree=224084/1022884 swapFree=0/0 [pid=21702] ppid=21701 vsize=285844 CPUtime=1.48 /proc/21702/stat : 21702 (smart) R 21701 21702 2806 34818 2806 4202496 66385 414 0 0 130 18 0 0 20 0 1 0 12410782 292704256 49196 18446744073709551615 4194304 6763684 140736037449200 140736037445192 5518020 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/21702/statm: 71461 49196 1059 628 0 48014 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 285844 [startup+3.10021 s] /proc/loadavg: 0.99 0.97 0.99 2/54 21705 /proc/meminfo: memFree=156752/1022884 swapFree=0/0 [pid=21702] ppid=21701 vsize=331980 CPUtime=3.07 /proc/21702/stat : 21702 (smart) R 21701 21702 2806 34818 2806 4202496 90247 414 0 0 284 23 0 0 20 0 1 0 12410782 339947520 60737 18446744073709551615 4194304 6763684 140736037449200 140736037445240 140540158740489 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21702/statm: 82995 60737 1068 628 0 59548 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 331980 [startup+6.3002 s] /proc/loadavg: 0.99 0.97 0.99 2/54 21705 /proc/meminfo: memFree=108640/1022884 swapFree=0/0 [pid=21702] ppid=21701 vsize=343328 CPUtime=6.26 /proc/21702/stat : 21702 (smart) R 21701 21702 2806 34818 2806 4202496 93111 414 0 0 602 24 0 0 20 0 1 0 12410782 351567872 63590 18446744073709551615 4194304 6763684 140736037449200 140736037446152 140540176482010 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21702/statm: 85832 63590 1073 628 0 62385 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 343328 [startup+12.7002 s] /proc/loadavg: 0.99 0.97 0.99 2/54 21705 /proc/meminfo: memFree=108516/1022884 swapFree=0/0 [pid=21702] ppid=21701 vsize=343328 CPUtime=12.64 /proc/21702/stat : 21702 (smart) R 21701 21702 2806 34818 2806 4202496 93112 414 0 0 1240 24 0 0 20 0 1 0 12410782 351567872 63590 18446744073709551615 4194304 6763684 140736037449200 140736037446152 140540158734017 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21702/statm: 85832 63590 1073 628 0 62385 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 343328 [startup+25.5003 s] /proc/loadavg: 0.99 0.97 0.99 2/54 21705 /proc/meminfo: memFree=108516/1022884 swapFree=0/0 [pid=21702] ppid=21701 vsize=343328 CPUtime=25.39 /proc/21702/stat : 21702 (smart) R 21701 21702 2806 34818 2806 4202496 93115 414 0 0 2515 24 0 0 20 0 1 0 12410782 351567872 63590 18446744073709551615 4194304 6763684 140736037449200 140736037446152 140540176482010 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21702/statm: 85832 63590 1073 628 0 62385 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 343328 [startup+51.1002 s] /proc/loadavg: 0.99 0.97 0.99 2/54 21705 /proc/meminfo: memFree=108392/1022884 swapFree=0/0 [pid=21702] ppid=21701 vsize=343328 CPUtime=50.89 /proc/21702/stat : 21702 (smart) R 21701 21702 2806 34818 2806 4202496 93117 414 0 0 5065 24 0 0 20 0 1 0 12410782 351567872 63590 18446744073709551615 4194304 6763684 140736037449200 140736037446152 140540176482144 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21702/statm: 85832 63590 1073 628 0 62385 0 Current children cumulated CPU time (s) 50.89 Current children cumulated vsize (KiB) 343328 [startup+102.3 s] /proc/loadavg: 0.99 0.97 0.99 2/54 21705 /proc/meminfo: memFree=108268/1022884 swapFree=0/0 [pid=21702] ppid=21701 vsize=343328 CPUtime=101.89 /proc/21702/stat : 21702 (smart) R 21701 21702 2806 34818 2806 4202496 93117 414 0 0 10165 24 0 0 20 0 1 0 12410782 351567872 63590 18446744073709551615 4194304 6763684 140736037449200 140736037446152 140540176482010 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21702/statm: 85832 63590 1073 628 0 62385 0 Current children cumulated CPU time (s) 101.89 Current children cumulated vsize (KiB) 343328 [startup+162.3 s] /proc/loadavg: 0.99 0.97 0.99 2/54 21705 /proc/meminfo: memFree=105292/1022884 swapFree=0/0 [pid=21702] ppid=21701 vsize=346640 CPUtime=161.65 /proc/21702/stat : 21702 (smart) R 21701 21702 2806 34818 2806 4202496 93973 414 0 0 16141 24 0 0 20 0 1 0 12410782 354959360 64442 18446744073709551615 4194304 6763684 140736037449200 140736037357720 140540176482010 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21702/statm: 86660 64442 1073 628 0 63213 0 Current children cumulated CPU time (s) 161.65 Current children cumulated vsize (KiB) 346640 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.99 2/54 21708 /proc/meminfo: memFree=88800/1022884 swapFree=0/0 [pid=21702] ppid=21701 vsize=362388 CPUtime=221.41 /proc/21702/stat : 21702 (smart) R 21701 21702 2806 34818 2806 4202496 97887 414 0 0 22117 24 0 0 20 0 1 0 12410782 371085312 68355 18446744073709551615 4194304 6763684 140736037449200 140736037365976 140540158734017 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21702/statm: 90597 68355 1073 628 0 67150 0 Current children cumulated CPU time (s) 221.41 Current children cumulated vsize (KiB) 362388 [startup+282.3 s] /proc/loadavg: 0.99 0.97 0.99 2/54 21708 /proc/meminfo: memFree=88552/1022884 swapFree=0/0 [pid=21702] ppid=21701 vsize=362820 CPUtime=281.17 /proc/21702/stat : 21702 (smart) R 21701 21702 2806 34818 2806 4202496 98019 414 0 0 28093 24 0 0 20 0 1 0 12410782 371527680 68487 18446744073709551615 4194304 6763684 140736037449200 140736037362472 140540176482144 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21702/statm: 90705 68487 1073 628 0 67258 0 Current children cumulated CPU time (s) 281.17 Current children cumulated vsize (KiB) 362820 Maximum wall clock time exceeded: sending signal-name then SIGKILL [startup+300 s] /proc/loadavg: 0.99 0.97 0.99 2/54 21708 /proc/meminfo: memFree=88304/1022884 swapFree=0/0 [pid=21702] ppid=21701 vsize=363152 CPUtime=298.8 /proc/21702/stat : 21702 (smart) R 21701 21702 2806 34818 2806 4202496 98078 414 0 0 29856 24 0 0 20 0 1 0 12410782 371867648 68546 18446744073709551615 4194304 6763684 140736037449200 140736037364920 140540158734017 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21702/statm: 90788 68546 1073 628 0 67341 0 Current children cumulated CPU time (s) 298.8 Current children cumulated vsize (KiB) 363152 Sending Terminated to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+300 s] /proc/loadavg: 0.99 0.97 0.99 2/54 21708 /proc/meminfo: memFree=88304/1022884 swapFree=0/0 [pid=21702] ppid=21701 vsize=363152 CPUtime=298.8 /proc/21702/stat : 21702 (smart) R 21701 21702 2806 34818 2806 4202496 98078 414 0 0 29856 24 0 0 20 0 1 0 12410782 371867648 68546 18446744073709551615 4194304 6763684 140736037449200 140736037364920 140540158734017 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21702/statm: 90788 68546 1073 628 0 67341 0 Current children cumulated CPU time (s) 298.8 Current children cumulated vsize (KiB) 363152 Child ended because it received signal 15 (SIGTERM) Real time (s): 300.029 CPU time (s): 298.843 CPU user time (s): 298.571 CPU system time (s): 0.272017 CPU usage (%): 99.6045 Max. virtual memory (cumulated for all children) (KiB): 363152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 298.571 system time used= 0.272017 maximum resident set size= 274184 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 98492 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 4386 runsolver used 0.292018 second user time and 0.888055 second system time The end