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/201103110955/apt-pbo-paranoid-1.0.8/4016.cudf.caixa.log.runsolver ./apt-pbo-paranoid-1.0.8 /home/misc2010/data/misc4/caixa//4016.cudf /home/misc2010/tmp/201103110955/apt-pbo-paranoid-1.0.8/4016.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.06 1.13 1.06 3/37 20033 /proc/meminfo: memFree=70960/1048576 swapFree=0/0 [pid=20032] ppid=20031 vsize=1668 CPUtime=0 /proc/20032/stat : 20032 (sh) R 20031 20032 12462 34817 12462 4202496 205 0 0 0 0 0 0 0 25 0 1 0 144448333 1708032 126 1283457024 134512640 134593992 4290313664 18446744073709551615 4294960130 0 0 0 2 0 0 0 17 0 0 0 0 /proc/20032/statm: 417 126 110 20 0 44 0 [pid=20033] ppid=20032 vsize=1668 CPUtime=0 /proc/20033/stat : 20033 (sh) R 20032 20032 12462 34817 12462 4202560 0 0 0 0 0 0 0 0 25 0 1 0 144448333 1708032 16 1283457024 134512640 134593992 4290313664 18446744073709551615 4294960130 0 0 0 2 0 0 0 17 0 0 0 0 /proc/20033/statm: 417 16 0 20 0 44 0 [startup+0.178657 s] /proc/loadavg: 1.06 1.13 1.06 3/37 20033 /proc/meminfo: memFree=70960/1048576 swapFree=0/0 [pid=20032] ppid=20031 vsize=1668 CPUtime=0 /proc/20032/stat : 20032 (sh) S 20031 20032 12462 34817 12462 4202496 220 174 0 0 0 0 0 0 25 0 1 0 144448333 1708032 128 1283457024 134512640 134593992 4290313664 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/20032/statm: 417 128 112 20 0 44 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1668 [startup+0.214698 s] /proc/loadavg: 1.06 1.13 1.06 3/37 20033 /proc/meminfo: memFree=70960/1048576 swapFree=0/0 [pid=20032] ppid=20031 vsize=1668 CPUtime=0 /proc/20032/stat : 20032 (sh) S 20031 20032 12462 34817 12462 4202496 220 174 0 0 0 0 0 0 25 0 1 0 144448333 1708032 128 1283457024 134512640 134593992 4290313664 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/20032/statm: 417 128 112 20 0 44 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1668 [startup+0.314739 s] /proc/loadavg: 1.06 1.13 1.06 3/37 20033 /proc/meminfo: memFree=70960/1048576 swapFree=0/0 [pid=20032] ppid=20031 vsize=1668 CPUtime=0 /proc/20032/stat : 20032 (sh) S 20031 20032 12462 34817 12462 4202496 220 174 0 0 0 0 0 0 25 0 1 0 144448333 1708032 128 1283457024 134512640 134593992 4290313664 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/20032/statm: 417 128 112 20 0 44 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1668 [startup+0.71481 s] /proc/loadavg: 1.06 1.13 1.06 3/37 20033 /proc/meminfo: memFree=70960/1048576 swapFree=0/0 [pid=20032] ppid=20031 vsize=1668 CPUtime=0 /proc/20032/stat : 20032 (sh) S 20031 20032 12462 34817 12462 4202496 220 174 0 0 0 0 0 0 25 0 1 0 144448333 1708032 128 1283457024 134512640 134593992 4290313664 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/20032/statm: 417 128 112 20 0 44 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1668 [startup+1.515 s] /proc/loadavg: 1.06 1.13 1.06 2/39 20038 /proc/meminfo: memFree=33608/1048576 swapFree=0/0 [pid=20032] ppid=20031 vsize=1668 CPUtime=0 /proc/20032/stat : 20032 (sh) S 20031 20032 12462 34817 12462 4202496 220 174 0 0 0 0 0 0 25 0 1 0 144448333 1708032 128 1283457024 134512640 134593992 4290313664 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/20032/statm: 417 128 112 20 0 44 0 [pid=20035] ppid=20032 vsize=8228 CPUtime=0.05 /proc/20035/stat : 20035 (apt-pbo) S 20032 20032 12462 34817 12462 4202496 1575 409 0 0 4 0 0 1 25 0 1 0 144448333 8425472 1400 1283457024 134512640 135745756 4290825584 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/20035/statm: 2057 1400 648 302 0 790 0 [pid=20038] ppid=20035 vsize=36748 CPUtime=1.44 /proc/20038/stat : 20038 (cudftodeb.nativ) R 20035 20032 12462 34817 12462 4202496 8765 0 0 0 138 6 0 0 25 0 1 0 144448339 37629952 8686 1283457024 134512640 135029684 4287869696 18446744073709551615 134984441 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/20038/statm: 9187 8686 257 127 0 8568 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46644 [startup+3.11537 s] /proc/loadavg: 1.05 1.13 1.06 2/39 20038 /proc/meminfo: memFree=11780/1048576 swapFree=0/0 [pid=20032] ppid=20031 vsize=1668 CPUtime=0 /proc/20032/stat : 20032 (sh) S 20031 20032 12462 34817 12462 4202496 220 174 0 0 0 0 0 0 25 0 1 0 144448333 1708032 128 1283457024 134512640 134593992 4290313664 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/20032/statm: 417 128 112 20 0 44 0 [pid=20035] ppid=20032 vsize=8228 CPUtime=0.05 /proc/20035/stat : 20035 (apt-pbo) S 20032 20032 12462 34817 12462 4202496 1575 409 0 0 4 0 0 1 25 0 1 0 144448333 8425472 1400 1283457024 134512640 135745756 4290825584 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/20035/statm: 2057 1400 648 302 0 790 0 [pid=20038] ppid=20035 vsize=52504 CPUtime=3.04 /proc/20038/stat : 20038 (cudftodeb.nativ) R 20035 20032 12462 34817 12462 4202496 12745 0 0 0 271 33 0 0 25 0 1 0 144448339 53764096 12666 1283457024 134512640 135029684 4287869696 18446744073709551615 134875024 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/20038/statm: 13126 12666 258 127 0 12507 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 62400 Solver just ended. Dumping a history of the last processes samples [startup+3.21538 s] /proc/loadavg: 1.05 1.13 1.06 2/39 20038 /proc/meminfo: memFree=11780/1048576 swapFree=0/0 [pid=20032] ppid=20031 vsize=1668 CPUtime=0 /proc/20032/stat : 20032 (sh) S 20031 20032 12462 34817 12462 4202496 220 174 0 0 0 0 0 0 25 0 1 0 144448333 1708032 128 1283457024 134512640 134593992 4290313664 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/20032/statm: 417 128 112 20 0 44 0 [pid=20035] ppid=20032 vsize=8228 CPUtime=0.05 /proc/20035/stat : 20035 (apt-pbo) S 20032 20032 12462 34817 12462 4202496 1575 409 0 0 4 0 0 1 25 0 1 0 144448333 8425472 1400 1283457024 134512640 135745756 4290825584 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/20035/statm: 2057 1400 648 302 0 790 0 [pid=20038] ppid=20035 vsize=52504 CPUtime=3.13 /proc/20038/stat : 20038 (cudftodeb.nativ) R 20035 20032 12462 34817 12462 4202496 12745 0 0 0 277 36 0 0 25 0 1 0 144448339 53764096 12666 1283457024 134512640 135029684 4287869696 18446744073709551615 134829786 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/20038/statm: 13126 12666 258 127 0 12507 0 Current children cumulated CPU time (s) 3.18 Current children cumulated vsize (KiB) 62400 [startup+4.00693 s] /proc/loadavg: 1.05 1.13 1.06 2/39 20038 /proc/meminfo: memFree=5312/1048576 swapFree=0/0 [pid=20032] ppid=20031 vsize=1668 CPUtime=0 /proc/20032/stat : 20032 (sh) S 20031 20032 12462 34817 12462 4202496 220 174 0 0 0 0 0 0 25 0 1 0 144448333 1708032 128 1283457024 134512640 134593992 4290313664 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/20032/statm: 417 128 112 20 0 44 0 [pid=20035] ppid=20032 vsize=8228 CPUtime=3.77 /proc/20035/stat : 20035 (apt-pbo) S 20032 20032 12462 34817 12462 4202496 1749 13155 0 0 5 0 323 49 18 0 1 0 144448333 8425472 1426 1283457024 134512640 135745756 4290825584 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/20035/statm: 2057 1426 653 302 0 790 0 Current children cumulated CPU time (s) 3.77 Current children cumulated vsize (KiB) 9896 [startup+4.40692 s] /proc/loadavg: 1.05 1.13 1.06 1/40 20046 /proc/meminfo: memFree=44848/1048576 swapFree=0/0 [pid=20032] ppid=20031 vsize=1668 CPUtime=0 /proc/20032/stat : 20032 (sh) S 20031 20032 12462 34817 12462 4202496 220 174 0 0 0 0 0 0 25 0 1 0 144448333 1708032 128 1283457024 134512640 134593992 4290313664 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/20032/statm: 417 128 112 20 0 44 0 [pid=20035] ppid=20032 vsize=8228 CPUtime=3.77 /proc/20035/stat : 20035 (apt-pbo) S 20032 20032 12462 34817 12462 4202496 1749 13155 0 0 5 0 323 49 18 0 1 0 144448333 8425472 1426 1283457024 134512640 135745756 4290825584 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/20035/statm: 2057 1426 653 302 0 790 0 [pid=20039] ppid=20035 vsize=2572 CPUtime=0 /proc/20039/stat : 20039 (apt-get.sh) S 20035 20032 12462 34817 12462 4202496 405 491 0 0 0 0 0 0 21 0 1 0 144448714 2633728 272 1283457024 134512640 135304128 4289850608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20039/statm: 643 272 232 194 0 30 0 [pid=20042] ppid=20039 vsize=52744 CPUtime=0.18 /proc/20042/stat : 20042 (apt-get) D 20039 20032 12462 34817 12462 4202496 566 1741 1 0 0 0 16 2 24 0 1 0 144448714 54009856 437 1283457024 134512640 134650667 4290850320 18446744073709551615 4294960130 0 0 4096 134217728 18446744071696460772 0 0 17 0 0 0 0 /proc/20042/statm: 13186 437 388 34 0 69 0 Current children cumulated CPU time (s) 3.95 Current children cumulated vsize (KiB) 65212 [startup+4.50693 s] /proc/loadavg: 1.05 1.13 1.06 1/40 20046 /proc/meminfo: memFree=44848/1048576 swapFree=0/0 [pid=20032] ppid=20031 vsize=1668 CPUtime=0 /proc/20032/stat : 20032 (sh) S 20031 20032 12462 34817 12462 4202496 220 174 0 0 0 0 0 0 25 0 1 0 144448333 1708032 128 1283457024 134512640 134593992 4290313664 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/20032/statm: 417 128 112 20 0 44 0 [pid=20035] ppid=20032 vsize=8228 CPUtime=3.77 /proc/20035/stat : 20035 (apt-pbo) S 20032 20032 12462 34817 12462 4202496 1749 13155 0 0 5 0 323 49 18 0 1 0 144448333 8425472 1426 1283457024 134512640 135745756 4290825584 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/20035/statm: 2057 1426 653 302 0 790 0 [pid=20039] ppid=20035 vsize=2572 CPUtime=0 /proc/20039/stat : 20039 (apt-get.sh) S 20035 20032 12462 34817 12462 4202496 405 491 0 0 0 0 0 0 21 0 1 0 144448714 2633728 272 1283457024 134512640 135304128 4289850608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20039/statm: 643 272 232 194 0 30 0 [pid=20042] ppid=20039 vsize=52744 CPUtime=0.18 /proc/20042/stat : 20042 (apt-get) D 20039 20032 12462 34817 12462 4202496 566 1741 1 0 0 0 16 2 24 0 1 0 144448714 54009856 437 1283457024 134512640 134650667 4290850320 18446744073709551615 4294960130 0 0 4096 134217728 18446744071696460772 0 0 17 0 0 0 0 /proc/20042/statm: 13186 437 388 34 0 69 0 Current children cumulated CPU time (s) 3.95 Current children cumulated vsize (KiB) 65212 Child status: 100 Real time (s): 4.59498 CPU time (s): 3.97225 CPU user time (s): 3.44422 CPU system time (s): 0.528033 CPU usage (%): 86.4476 Max. virtual memory (cumulated for all children) (KiB): 65212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.44421 system time used= 0.528033 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18867 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= 50 involuntary context switches= 145 runsolver used 0 second user time and 0 second system time The end