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/819.cudf.caixa.log.runsolver ./apt-pbo-trendy-1.0.8 /home/misc2010/data/misc4/caixa//819.cudf /home/misc2010/tmp/201103031013/apt-pbo-trendy-1.0.8/819.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.76 1.76 1.72 5/35 861 /proc/meminfo: memFree=324988/1048576 swapFree=0/0 [pid=859] ppid=858 vsize=1676 CPUtime=0 /proc/859/stat : 859 (sh) S 858 859 29493 34817 29493 4202496 221 175 0 0 0 0 0 0 18 0 1 0 76374898 1716224 129 1283457024 134512640 134593992 4292364224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/859/statm: 419 129 112 20 0 46 0 [pid=861] ppid=859 vsize=3412 CPUtime=0.01 /proc/861/stat : 861 (apt-pbo) R 859 859 29493 34817 29493 4202496 490 0 0 0 1 0 0 0 25 0 1 0 76374898 3493888 438 1283457024 134512640 135745756 4291003808 18446744073709551615 134886784 0 0 128 0 0 0 0 17 0 0 0 0 /proc/861/statm: 853 438 349 302 0 121 0 [startup+0.135189 s] /proc/loadavg: 1.76 1.76 1.72 5/35 861 /proc/meminfo: memFree=324988/1048576 swapFree=0/0 [pid=859] ppid=858 vsize=1676 CPUtime=0 /proc/859/stat : 859 (sh) S 858 859 29493 34817 29493 4202496 221 175 0 0 0 0 0 0 18 0 1 0 76374898 1716224 129 1283457024 134512640 134593992 4292364224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/859/statm: 419 129 112 20 0 46 0 [pid=861] ppid=859 vsize=8232 CPUtime=0.05 /proc/861/stat : 861 (apt-pbo) R 859 859 29493 34817 29493 4202496 1560 411 0 0 4 1 0 0 25 0 1 0 76374898 8429568 1401 1283457024 134512640 135745756 4291003808 18446744073709551615 4294960130 0 0 128 0 0 0 0 17 0 0 0 0 /proc/861/statm: 2058 1401 648 302 0 791 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9908 [startup+0.215204 s] /proc/loadavg: 1.76 1.76 1.72 5/35 861 /proc/meminfo: memFree=324988/1048576 swapFree=0/0 [pid=859] ppid=858 vsize=1676 CPUtime=0 /proc/859/stat : 859 (sh) S 858 859 29493 34817 29493 4202496 221 175 0 0 0 0 0 0 18 0 1 0 76374898 1716224 129 1283457024 134512640 134593992 4292364224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/859/statm: 419 129 112 20 0 46 0 [pid=861] ppid=859 vsize=8232 CPUtime=0.05 /proc/861/stat : 861 (apt-pbo) S 859 859 29493 34817 29493 4202496 1579 411 0 0 4 1 0 0 25 0 1 0 76374898 8429568 1401 1283457024 134512640 135745756 4291003808 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/861/statm: 2058 1401 648 302 0 791 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9908 [startup+0.315237 s] /proc/loadavg: 1.76 1.76 1.72 5/35 861 /proc/meminfo: memFree=324988/1048576 swapFree=0/0 [pid=859] ppid=858 vsize=1676 CPUtime=0 /proc/859/stat : 859 (sh) S 858 859 29493 34817 29493 4202496 221 175 0 0 0 0 0 0 18 0 1 0 76374898 1716224 129 1283457024 134512640 134593992 4292364224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/859/statm: 419 129 112 20 0 46 0 [pid=861] ppid=859 vsize=8232 CPUtime=0.05 /proc/861/stat : 861 (apt-pbo) S 859 859 29493 34817 29493 4202496 1579 411 0 0 4 1 0 0 25 0 1 0 76374898 8429568 1401 1283457024 134512640 135745756 4291003808 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/861/statm: 2058 1401 648 302 0 791 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9908 [startup+0.715323 s] /proc/loadavg: 1.76 1.76 1.72 5/35 861 /proc/meminfo: memFree=324988/1048576 swapFree=0/0 [pid=859] ppid=858 vsize=1676 CPUtime=0 /proc/859/stat : 859 (sh) S 858 859 29493 34817 29493 4202496 221 175 0 0 0 0 0 0 18 0 1 0 76374898 1716224 129 1283457024 134512640 134593992 4292364224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/859/statm: 419 129 112 20 0 46 0 [pid=861] ppid=859 vsize=8232 CPUtime=0.05 /proc/861/stat : 861 (apt-pbo) S 859 859 29493 34817 29493 4202496 1579 411 0 0 4 1 0 0 25 0 1 0 76374898 8429568 1401 1283457024 134512640 135745756 4291003808 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/861/statm: 2058 1401 648 302 0 791 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9908 [startup+1.51546 s] /proc/loadavg: 1.76 1.76 1.72 2/37 865 /proc/meminfo: memFree=295128/1048576 swapFree=0/0 [pid=859] ppid=858 vsize=1676 CPUtime=0 /proc/859/stat : 859 (sh) S 858 859 29493 34817 29493 4202496 221 175 0 0 0 0 0 0 18 0 1 0 76374898 1716224 129 1283457024 134512640 134593992 4292364224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/859/statm: 419 129 112 20 0 46 0 [pid=861] ppid=859 vsize=8232 CPUtime=0.05 /proc/861/stat : 861 (apt-pbo) S 859 859 29493 34817 29493 4202496 1579 411 0 0 4 1 0 0 25 0 1 0 76374898 8429568 1401 1283457024 134512640 135745756 4291003808 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/861/statm: 2058 1401 648 302 0 791 0 [pid=865] ppid=861 vsize=37776 CPUtime=1.45 /proc/865/stat : 865 (cudftodeb.nativ) R 861 859 29493 34817 29493 4202496 9008 0 0 0 141 4 0 0 25 0 1 0 76374903 38682624 8928 1283457024 134512640 135029684 4290297168 18446744073709551615 134972997 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/865/statm: 9444 8928 246 127 0 8825 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 47684 [startup+3.11603 s] /proc/loadavg: 1.76 1.76 1.72 2/37 865 /proc/meminfo: memFree=277396/1048576 swapFree=0/0 [pid=859] ppid=858 vsize=1676 CPUtime=0 /proc/859/stat : 859 (sh) S 858 859 29493 34817 29493 4202496 221 175 0 0 0 0 0 0 18 0 1 0 76374898 1716224 129 1283457024 134512640 134593992 4292364224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/859/statm: 419 129 112 20 0 46 0 [pid=861] ppid=859 vsize=8232 CPUtime=0.05 /proc/861/stat : 861 (apt-pbo) S 859 859 29493 34817 29493 4202496 1579 411 0 0 4 1 0 0 25 0 1 0 76374898 8429568 1401 1283457024 134512640 135745756 4291003808 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/861/statm: 2058 1401 648 302 0 791 0 [pid=865] ppid=861 vsize=66000 CPUtime=3.05 /proc/865/stat : 865 (cudftodeb.nativ) R 861 859 29493 34817 29493 4202496 15999 0 0 0 283 22 0 0 25 0 1 0 76374903 67584000 15919 1283457024 134512640 135029684 4290297168 18446744073709551615 4294960130 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/865/statm: 16500 15919 258 127 0 15881 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 75908 Solver just ended. Dumping a history of the last processes samples [startup+3.20605 s] /proc/loadavg: 1.76 1.76 1.72 2/37 865 /proc/meminfo: memFree=277396/1048576 swapFree=0/0 [pid=859] ppid=858 vsize=1676 CPUtime=0 /proc/859/stat : 859 (sh) S 858 859 29493 34817 29493 4202496 221 175 0 0 0 0 0 0 18 0 1 0 76374898 1716224 129 1283457024 134512640 134593992 4292364224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/859/statm: 419 129 112 20 0 46 0 [pid=861] ppid=859 vsize=8232 CPUtime=0.05 /proc/861/stat : 861 (apt-pbo) S 859 859 29493 34817 29493 4202496 1579 411 0 0 4 1 0 0 25 0 1 0 76374898 8429568 1401 1283457024 134512640 135745756 4291003808 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/861/statm: 2058 1401 648 302 0 791 0 [pid=865] ppid=861 vsize=68016 CPUtime=3.14 /proc/865/stat : 865 (cudftodeb.nativ) R 861 859 29493 34817 29493 4202496 16499 0 0 0 291 23 0 0 25 0 1 0 76374903 69648384 16419 1283457024 134512640 135029684 4290297168 18446744073709551615 134968846 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/865/statm: 17004 16419 258 127 0 16385 0 Current children cumulated CPU time (s) 3.19 Current children cumulated vsize (KiB) 77924 [startup+4.80959 s] /proc/loadavg: 1.70 1.74 1.71 2/37 865 /proc/meminfo: memFree=261400/1048576 swapFree=0/0 [pid=859] ppid=858 vsize=1676 CPUtime=0 /proc/859/stat : 859 (sh) S 858 859 29493 34817 29493 4202496 221 175 0 0 0 0 0 0 18 0 1 0 76374898 1716224 129 1283457024 134512640 134593992 4292364224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/859/statm: 419 129 112 20 0 46 0 [pid=861] ppid=859 vsize=8232 CPUtime=0.05 /proc/861/stat : 861 (apt-pbo) S 859 859 29493 34817 29493 4202496 1579 411 0 0 4 1 0 0 25 0 1 0 76374898 8429568 1401 1283457024 134512640 135745756 4291003808 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/861/statm: 2058 1401 648 302 0 791 0 [pid=865] ppid=861 vsize=55528 CPUtime=4.59 /proc/865/stat : 865 (cudftodeb.nativ) R 861 859 29493 34817 29493 4202496 17629 0 0 0 405 54 0 0 25 0 1 0 76374903 56860672 13420 1283457024 134512640 135029684 4290297168 18446744073709551615 134966233 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/865/statm: 13882 13420 258 127 0 13263 0 Current children cumulated CPU time (s) 4.64 Current children cumulated vsize (KiB) 65436 [startup+5.20748 s] /proc/loadavg: 1.70 1.74 1.71 2/37 865 /proc/meminfo: memFree=261400/1048576 swapFree=0/0 [pid=859] ppid=858 vsize=1676 CPUtime=0 /proc/859/stat : 859 (sh) S 858 859 29493 34817 29493 4202496 221 175 0 0 0 0 0 0 18 0 1 0 76374898 1716224 129 1283457024 134512640 134593992 4292364224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/859/statm: 419 129 112 20 0 46 0 [pid=861] ppid=859 vsize=8232 CPUtime=4.66 /proc/861/stat : 861 (apt-pbo) S 859 859 29493 34817 29493 4202496 1753 18041 0 0 4 1 407 54 18 0 1 0 76374898 8429568 1427 1283457024 134512640 135745756 4291003808 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/861/statm: 2058 1427 653 302 0 791 0 Current children cumulated CPU time (s) 4.66 Current children cumulated vsize (KiB) 9908 [startup+5.60751 s] /proc/loadavg: 1.70 1.74 1.71 1/38 873 /proc/meminfo: memFree=296352/1048576 swapFree=0/0 [pid=859] ppid=858 vsize=1676 CPUtime=0 /proc/859/stat : 859 (sh) S 858 859 29493 34817 29493 4202496 221 175 0 0 0 0 0 0 18 0 1 0 76374898 1716224 129 1283457024 134512640 134593992 4292364224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/859/statm: 419 129 112 20 0 46 0 [pid=861] ppid=859 vsize=8232 CPUtime=4.66 /proc/861/stat : 861 (apt-pbo) S 859 859 29493 34817 29493 4202496 1753 18041 0 0 4 1 407 54 18 0 1 0 76374898 8429568 1427 1283457024 134512640 135745756 4291003808 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/861/statm: 2058 1427 653 302 0 791 0 [pid=866] ppid=861 vsize=2572 CPUtime=0 /proc/866/stat : 866 (apt-get.sh) S 861 859 29493 34817 29493 4202496 406 492 0 0 0 0 0 0 18 0 1 0 76375381 2633728 273 1283457024 134512640 135304128 4288392080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/866/statm: 643 273 232 194 0 30 0 [pid=869] ppid=866 vsize=52744 CPUtime=0.23 /proc/869/stat : 869 (apt-get) D 866 859 29493 34817 29493 4202496 567 1747 1 0 0 0 18 5 25 0 1 0 76375381 54009856 437 1283457024 134512640 134650667 4289531088 18446744073709551615 4294960130 0 0 4096 134217728 18446744071696460772 0 0 17 0 0 0 0 /proc/869/statm: 13186 437 388 34 0 69 0 Current children cumulated CPU time (s) 4.89 Current children cumulated vsize (KiB) 65224 Child status: 100 Real time (s): 5.66549 CPU time (s): 4.90831 CPU user time (s): 4.30427 CPU system time (s): 0.604037 CPU usage (%): 86.6351 Max. virtual memory (cumulated for all children) (KiB): 79940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.30427 system time used= 0.604037 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23769 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= 45 involuntary context switches= 97 runsolver used 0 second user time and 0 second system time The end