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/201103031013/apt-pbo-trendy-1.0.8/995.cudf.caixa.log.runsolver ./apt-pbo-trendy-1.0.8 /home/misc2010/data/misc4/caixa//995.cudf /home/misc2010/tmp/201103031013/apt-pbo-trendy-1.0.8/995.cudf.caixa.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.72 1.67 1.69 4/34 8924 /proc/meminfo: memFree=263736/1048576 swapFree=0/0 [pid=8922] ppid=8921 vsize=1672 CPUtime=0 /proc/8922/stat : 8922 (sh) S 8921 8922 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 16 0 1 0 76429632 1712128 128 1283457024 134512640 134593992 4294429120 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8922/statm: 418 128 112 20 0 45 0 [pid=8924] ppid=8922 vsize=3812 CPUtime=0.01 /proc/8924/stat : 8924 (apt-pbo) R 8922 8922 29493 34817 29493 4202496 601 0 0 0 1 0 0 0 25 0 1 0 76429632 3903488 549 1283457024 134512640 135745756 4288867232 18446744073709551615 134691601 0 0 128 0 0 0 0 17 0 0 0 0 /proc/8924/statm: 953 549 378 302 0 221 0 [startup+0.171296 s] /proc/loadavg: 1.72 1.67 1.69 4/34 8924 /proc/meminfo: memFree=263736/1048576 swapFree=0/0 [pid=8922] ppid=8921 vsize=1672 CPUtime=0 /proc/8922/stat : 8922 (sh) S 8921 8922 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 16 0 1 0 76429632 1712128 128 1283457024 134512640 134593992 4294429120 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8922/statm: 418 128 112 20 0 45 0 [pid=8924] ppid=8922 vsize=8232 CPUtime=0.04 /proc/8924/stat : 8924 (apt-pbo) S 8922 8922 29493 34817 29493 4202496 1576 408 0 0 4 0 0 0 25 0 1 0 76429632 8429568 1400 1283457024 134512640 135745756 4288867232 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/8924/statm: 2058 1400 648 302 0 791 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9904 [startup+0.21132 s] /proc/loadavg: 1.72 1.67 1.69 4/34 8924 /proc/meminfo: memFree=263736/1048576 swapFree=0/0 [pid=8922] ppid=8921 vsize=1672 CPUtime=0 /proc/8922/stat : 8922 (sh) S 8921 8922 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 16 0 1 0 76429632 1712128 128 1283457024 134512640 134593992 4294429120 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8922/statm: 418 128 112 20 0 45 0 [pid=8924] ppid=8922 vsize=8232 CPUtime=0.04 /proc/8924/stat : 8924 (apt-pbo) S 8922 8922 29493 34817 29493 4202496 1576 408 0 0 4 0 0 0 25 0 1 0 76429632 8429568 1400 1283457024 134512640 135745756 4288867232 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/8924/statm: 2058 1400 648 302 0 791 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9904 [startup+0.311336 s] /proc/loadavg: 1.72 1.67 1.69 4/34 8924 /proc/meminfo: memFree=263736/1048576 swapFree=0/0 [pid=8922] ppid=8921 vsize=1672 CPUtime=0 /proc/8922/stat : 8922 (sh) S 8921 8922 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 16 0 1 0 76429632 1712128 128 1283457024 134512640 134593992 4294429120 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8922/statm: 418 128 112 20 0 45 0 [pid=8924] ppid=8922 vsize=8232 CPUtime=0.04 /proc/8924/stat : 8924 (apt-pbo) S 8922 8922 29493 34817 29493 4202496 1576 408 0 0 4 0 0 0 25 0 1 0 76429632 8429568 1400 1283457024 134512640 135745756 4288867232 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/8924/statm: 2058 1400 648 302 0 791 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9904 [startup+0.711472 s] /proc/loadavg: 1.72 1.67 1.69 4/34 8924 /proc/meminfo: memFree=263736/1048576 swapFree=0/0 [pid=8922] ppid=8921 vsize=1672 CPUtime=0 /proc/8922/stat : 8922 (sh) S 8921 8922 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 16 0 1 0 76429632 1712128 128 1283457024 134512640 134593992 4294429120 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8922/statm: 418 128 112 20 0 45 0 [pid=8924] ppid=8922 vsize=8232 CPUtime=0.04 /proc/8924/stat : 8924 (apt-pbo) S 8922 8922 29493 34817 29493 4202496 1576 408 0 0 4 0 0 0 25 0 1 0 76429632 8429568 1400 1283457024 134512640 135745756 4288867232 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/8924/statm: 2058 1400 648 302 0 791 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9904 [startup+1.51176 s] /proc/loadavg: 1.72 1.67 1.69 2/36 8928 /proc/meminfo: memFree=234372/1048576 swapFree=0/0 [pid=8922] ppid=8921 vsize=1672 CPUtime=0 /proc/8922/stat : 8922 (sh) S 8921 8922 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 16 0 1 0 76429632 1712128 128 1283457024 134512640 134593992 4294429120 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8922/statm: 418 128 112 20 0 45 0 [pid=8924] ppid=8922 vsize=8232 CPUtime=0.04 /proc/8924/stat : 8924 (apt-pbo) S 8922 8922 29493 34817 29493 4202496 1576 408 0 0 4 0 0 0 25 0 1 0 76429632 8429568 1400 1283457024 134512640 135745756 4288867232 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/8924/statm: 2058 1400 648 302 0 791 0 [pid=8928] ppid=8924 vsize=37276 CPUtime=1.45 /proc/8928/stat : 8928 (cudftodeb.nativ) R 8924 8922 29493 34817 29493 4202496 8980 0 0 0 142 3 0 0 25 0 1 0 76429638 38170624 8901 1283457024 134512640 135029684 4287009328 18446744073709551615 134967018 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/8928/statm: 9319 8901 246 127 0 8700 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 47180 [startup+3.11231 s] /proc/loadavg: 1.67 1.66 1.69 2/36 8928 /proc/meminfo: memFree=217012/1048576 swapFree=0/0 [pid=8922] ppid=8921 vsize=1672 CPUtime=0 /proc/8922/stat : 8922 (sh) S 8921 8922 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 16 0 1 0 76429632 1712128 128 1283457024 134512640 134593992 4294429120 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8922/statm: 418 128 112 20 0 45 0 [pid=8924] ppid=8922 vsize=8232 CPUtime=0.04 /proc/8924/stat : 8924 (apt-pbo) S 8922 8922 29493 34817 29493 4202496 1576 408 0 0 4 0 0 0 25 0 1 0 76429632 8429568 1400 1283457024 134512640 135745756 4288867232 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/8924/statm: 2058 1400 648 302 0 791 0 [pid=8928] ppid=8924 vsize=65500 CPUtime=3.05 /proc/8928/stat : 8928 (cudftodeb.nativ) R 8924 8922 29493 34817 29493 4202496 15995 0 0 0 285 20 0 0 25 0 1 0 76429638 67072000 15916 1283457024 134512640 135029684 4287009328 18446744073709551615 134967018 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/8928/statm: 16375 15916 258 127 0 15756 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 75404 Solver just ended. Dumping a history of the last processes samples [startup+3.21234 s] /proc/loadavg: 1.67 1.66 1.69 2/36 8928 /proc/meminfo: memFree=217012/1048576 swapFree=0/0 [pid=8922] ppid=8921 vsize=1672 CPUtime=0 /proc/8922/stat : 8922 (sh) S 8921 8922 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 16 0 1 0 76429632 1712128 128 1283457024 134512640 134593992 4294429120 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8922/statm: 418 128 112 20 0 45 0 [pid=8924] ppid=8922 vsize=8232 CPUtime=0.04 /proc/8924/stat : 8924 (apt-pbo) S 8922 8922 29493 34817 29493 4202496 1576 408 0 0 4 0 0 0 25 0 1 0 76429632 8429568 1400 1283457024 134512640 135745756 4288867232 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/8924/statm: 2058 1400 648 302 0 791 0 [pid=8928] ppid=8924 vsize=68020 CPUtime=3.15 /proc/8928/stat : 8928 (cudftodeb.nativ) R 8924 8922 29493 34817 29493 4202496 16608 0 0 0 290 25 0 0 25 0 1 0 76429638 69652480 16529 1283457024 134512640 135029684 4287009328 18446744073709551615 134883019 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/8928/statm: 17005 16529 258 127 0 16386 0 Current children cumulated CPU time (s) 3.19 Current children cumulated vsize (KiB) 77924 [startup+4.01259 s] /proc/loadavg: 1.67 1.66 1.69 2/36 8928 /proc/meminfo: memFree=189484/1048576 swapFree=0/0 [pid=8922] ppid=8921 vsize=1672 CPUtime=0 /proc/8922/stat : 8922 (sh) S 8921 8922 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 16 0 1 0 76429632 1712128 128 1283457024 134512640 134593992 4294429120 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8922/statm: 418 128 112 20 0 45 0 [pid=8924] ppid=8922 vsize=8232 CPUtime=0.04 /proc/8924/stat : 8924 (apt-pbo) S 8922 8922 29493 34817 29493 4202496 1576 408 0 0 4 0 0 0 25 0 1 0 76429632 8429568 1400 1283457024 134512640 135745756 4288867232 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/8924/statm: 2058 1400 648 302 0 791 0 [pid=8928] ppid=8924 vsize=52900 CPUtime=3.95 /proc/8928/stat : 8928 (cudftodeb.nativ) R 8924 8922 29493 34817 29493 4202496 16878 0 0 0 355 40 0 0 25 0 1 0 76429638 54169600 12795 1283457024 134512640 135029684 4287009328 18446744073709551615 4294960130 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/8928/statm: 13225 12795 258 127 0 12606 0 Current children cumulated CPU time (s) 3.99 Current children cumulated vsize (KiB) 62804 [startup+4.81273 s] /proc/loadavg: 1.67 1.66 1.69 2/36 8928 /proc/meminfo: memFree=199280/1048576 swapFree=0/0 [pid=8922] ppid=8921 vsize=1672 CPUtime=0 /proc/8922/stat : 8922 (sh) S 8921 8922 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 16 0 1 0 76429632 1712128 128 1283457024 134512640 134593992 4294429120 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8922/statm: 418 128 112 20 0 45 0 [pid=8924] ppid=8922 vsize=8232 CPUtime=4.55 /proc/8924/stat : 8924 (apt-pbo) S 8922 8922 29493 34817 29493 4202496 1750 17662 0 0 4 0 400 51 18 0 1 0 76429632 8429568 1426 1283457024 134512640 135745756 4288867232 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8924/statm: 2058 1426 653 302 0 791 0 Current children cumulated CPU time (s) 4.55 Current children cumulated vsize (KiB) 9904 [startup+5.20754 s] /proc/loadavg: 1.67 1.66 1.69 2/36 8928 /proc/meminfo: memFree=199280/1048576 swapFree=0/0 [pid=8922] ppid=8921 vsize=1672 CPUtime=0 /proc/8922/stat : 8922 (sh) S 8921 8922 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 16 0 1 0 76429632 1712128 128 1283457024 134512640 134593992 4294429120 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8922/statm: 418 128 112 20 0 45 0 [pid=8924] ppid=8922 vsize=8232 CPUtime=4.55 /proc/8924/stat : 8924 (apt-pbo) S 8922 8922 29493 34817 29493 4202496 1750 17662 0 0 4 0 400 51 18 0 1 0 76429632 8429568 1426 1283457024 134512640 135745756 4288867232 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8924/statm: 2058 1426 653 302 0 791 0 Current children cumulated CPU time (s) 4.55 Current children cumulated vsize (KiB) 9904 Child status: 100 Real time (s): 5.26368 CPU time (s): 4.8363 CPU user time (s): 4.24027 CPU system time (s): 0.596037 CPU usage (%): 91.8806 Max. virtual memory (cumulated for all children) (KiB): 78932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.24026 system time used= 0.596037 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23388 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 46 involuntary context switches= 102 runsolver used 0 second user time and 0 second system time The end