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/4054.cudf.caixa.log.runsolver ./apt-pbo-trendy-1.0.8 /home/misc2010/data/misc4/caixa//4054.cudf /home/misc2010/tmp/201103031013/apt-pbo-trendy-1.0.8/4054.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.37 1.59 1.65 5/34 2697 /proc/meminfo: memFree=332936/1048576 swapFree=0/0 [pid=2695] ppid=2694 vsize=1672 CPUtime=0 /proc/2695/stat : 2695 (sh) S 2694 2695 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 18 0 1 0 76162032 1712128 128 1283457024 134512640 134593992 4287462160 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/2695/statm: 418 128 112 20 0 45 0 [pid=2697] ppid=2695 vsize=3404 CPUtime=0.01 /proc/2697/stat : 2697 (apt-pbo) R 2695 2695 29493 34817 29493 4202496 370 0 0 0 1 0 0 0 25 0 1 0 76162032 3485696 318 1283457024 134512640 135745756 4290968976 18446744073709551615 134648200 0 0 128 0 0 0 0 17 0 0 0 0 /proc/2697/statm: 851 318 255 302 0 119 0 [startup+0.163549 s] /proc/loadavg: 1.37 1.59 1.65 5/34 2697 /proc/meminfo: memFree=332936/1048576 swapFree=0/0 [pid=2695] ppid=2694 vsize=1672 CPUtime=0 /proc/2695/stat : 2695 (sh) S 2694 2695 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 18 0 1 0 76162032 1712128 128 1283457024 134512640 134593992 4287462160 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/2695/statm: 418 128 112 20 0 45 0 [pid=2697] ppid=2695 vsize=8228 CPUtime=0.04 /proc/2697/stat : 2697 (apt-pbo) S 2695 2695 29493 34817 29493 4202496 1575 408 0 0 4 0 0 0 25 0 1 0 76162032 8425472 1400 1283457024 134512640 135745756 4290968976 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/2697/statm: 2057 1400 648 302 0 790 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9900 [startup+0.213562 s] /proc/loadavg: 1.37 1.59 1.65 5/34 2697 /proc/meminfo: memFree=332936/1048576 swapFree=0/0 [pid=2695] ppid=2694 vsize=1672 CPUtime=0 /proc/2695/stat : 2695 (sh) S 2694 2695 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 18 0 1 0 76162032 1712128 128 1283457024 134512640 134593992 4287462160 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/2695/statm: 418 128 112 20 0 45 0 [pid=2697] ppid=2695 vsize=8228 CPUtime=0.04 /proc/2697/stat : 2697 (apt-pbo) S 2695 2695 29493 34817 29493 4202496 1575 408 0 0 4 0 0 0 25 0 1 0 76162032 8425472 1400 1283457024 134512640 135745756 4290968976 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/2697/statm: 2057 1400 648 302 0 790 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9900 [startup+0.313576 s] /proc/loadavg: 1.37 1.59 1.65 5/34 2697 /proc/meminfo: memFree=332936/1048576 swapFree=0/0 [pid=2695] ppid=2694 vsize=1672 CPUtime=0 /proc/2695/stat : 2695 (sh) S 2694 2695 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 18 0 1 0 76162032 1712128 128 1283457024 134512640 134593992 4287462160 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/2695/statm: 418 128 112 20 0 45 0 [pid=2697] ppid=2695 vsize=8228 CPUtime=0.04 /proc/2697/stat : 2697 (apt-pbo) S 2695 2695 29493 34817 29493 4202496 1575 408 0 0 4 0 0 0 25 0 1 0 76162032 8425472 1400 1283457024 134512640 135745756 4290968976 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/2697/statm: 2057 1400 648 302 0 790 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9900 [startup+0.713654 s] /proc/loadavg: 1.37 1.59 1.65 5/34 2697 /proc/meminfo: memFree=332936/1048576 swapFree=0/0 [pid=2695] ppid=2694 vsize=1672 CPUtime=0 /proc/2695/stat : 2695 (sh) S 2694 2695 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 18 0 1 0 76162032 1712128 128 1283457024 134512640 134593992 4287462160 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/2695/statm: 418 128 112 20 0 45 0 [pid=2697] ppid=2695 vsize=8228 CPUtime=0.04 /proc/2697/stat : 2697 (apt-pbo) S 2695 2695 29493 34817 29493 4202496 1575 408 0 0 4 0 0 0 25 0 1 0 76162032 8425472 1400 1283457024 134512640 135745756 4290968976 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/2697/statm: 2057 1400 648 302 0 790 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9900 [startup+1.5139 s] /proc/loadavg: 1.37 1.59 1.65 2/36 2701 /proc/meminfo: memFree=303372/1048576 swapFree=0/0 [pid=2695] ppid=2694 vsize=1672 CPUtime=0 /proc/2695/stat : 2695 (sh) S 2694 2695 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 18 0 1 0 76162032 1712128 128 1283457024 134512640 134593992 4287462160 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/2695/statm: 418 128 112 20 0 45 0 [pid=2697] ppid=2695 vsize=8228 CPUtime=0.04 /proc/2697/stat : 2697 (apt-pbo) S 2695 2695 29493 34817 29493 4202496 1575 408 0 0 4 0 0 0 25 0 1 0 76162032 8425472 1400 1283457024 134512640 135745756 4290968976 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/2697/statm: 2057 1400 648 302 0 790 0 [pid=2701] ppid=2697 vsize=38260 CPUtime=1.45 /proc/2701/stat : 2701 (cudftodeb.nativ) R 2697 2695 29493 34817 29493 4202496 9152 0 0 0 138 7 0 0 25 0 1 0 76162038 39178240 9073 1283457024 134512640 135029684 4289918192 18446744073709551615 135011625 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/2701/statm: 9565 9073 246 127 0 8946 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 48160 [startup+3.11423 s] /proc/loadavg: 1.37 1.59 1.65 2/36 2701 /proc/meminfo: memFree=283408/1048576 swapFree=0/0 [pid=2695] ppid=2694 vsize=1672 CPUtime=0 /proc/2695/stat : 2695 (sh) S 2694 2695 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 18 0 1 0 76162032 1712128 128 1283457024 134512640 134593992 4287462160 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/2695/statm: 418 128 112 20 0 45 0 [pid=2697] ppid=2695 vsize=8228 CPUtime=0.04 /proc/2697/stat : 2697 (apt-pbo) S 2695 2695 29493 34817 29493 4202496 1575 408 0 0 4 0 0 0 25 0 1 0 76162032 8425472 1400 1283457024 134512640 135745756 4290968976 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/2697/statm: 2057 1400 648 302 0 790 0 [pid=2701] ppid=2697 vsize=62712 CPUtime=3.04 /proc/2701/stat : 2701 (cudftodeb.nativ) R 2697 2695 29493 34817 29493 4202496 15191 0 0 0 282 22 0 0 25 0 1 0 76162038 64217088 15112 1283457024 134512640 135029684 4289918192 18446744073709551615 134882910 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/2701/statm: 15678 15112 258 127 0 15059 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 72612 Solver just ended. Dumping a history of the last processes samples [startup+3.21425 s] /proc/loadavg: 1.37 1.59 1.65 2/36 2701 /proc/meminfo: memFree=283408/1048576 swapFree=0/0 [pid=2695] ppid=2694 vsize=1672 CPUtime=0 /proc/2695/stat : 2695 (sh) S 2694 2695 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 18 0 1 0 76162032 1712128 128 1283457024 134512640 134593992 4287462160 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/2695/statm: 418 128 112 20 0 45 0 [pid=2697] ppid=2695 vsize=8228 CPUtime=0.04 /proc/2697/stat : 2697 (apt-pbo) S 2695 2695 29493 34817 29493 4202496 1575 408 0 0 4 0 0 0 25 0 1 0 76162032 8425472 1400 1283457024 134512640 135745756 4290968976 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/2697/statm: 2057 1400 648 302 0 790 0 [pid=2701] ppid=2697 vsize=64224 CPUtime=3.15 /proc/2701/stat : 2701 (cudftodeb.nativ) R 2697 2695 29493 34817 29493 4202496 15537 0 0 0 292 23 0 0 25 0 1 0 76162038 65765376 15458 1283457024 134512640 135029684 4289918192 18446744073709551615 134967018 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/2701/statm: 16056 15458 258 127 0 15437 0 Current children cumulated CPU time (s) 3.19 Current children cumulated vsize (KiB) 74124 [startup+4.81459 s] /proc/loadavg: 1.34 1.58 1.64 2/36 2701 /proc/meminfo: memFree=265800/1048576 swapFree=0/0 [pid=2695] ppid=2694 vsize=1672 CPUtime=0 /proc/2695/stat : 2695 (sh) S 2694 2695 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 18 0 1 0 76162032 1712128 128 1283457024 134512640 134593992 4287462160 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/2695/statm: 418 128 112 20 0 45 0 [pid=2697] ppid=2695 vsize=8228 CPUtime=0.04 /proc/2697/stat : 2697 (apt-pbo) S 2695 2695 29493 34817 29493 4202496 1575 408 0 0 4 0 0 0 25 0 1 0 76162032 8425472 1400 1283457024 134512640 135745756 4290968976 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/2697/statm: 2057 1400 648 302 0 790 0 [pid=2701] ppid=2697 vsize=58176 CPUtime=4.74 /proc/2701/stat : 2701 (cudftodeb.nativ) R 2697 2695 29493 34817 29493 4202496 18915 0 0 0 423 51 0 0 25 0 1 0 76162038 59572224 14084 1283457024 134512640 135029684 4289918192 18446744073709551615 134883493 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/2701/statm: 14544 14084 258 127 0 13925 0 Current children cumulated CPU time (s) 4.78 Current children cumulated vsize (KiB) 68076 [startup+5.61475 s] /proc/loadavg: 1.34 1.58 1.64 4/39 2709 /proc/meminfo: memFree=303192/1048576 swapFree=0/0 [pid=2695] ppid=2694 vsize=1672 CPUtime=0 /proc/2695/stat : 2695 (sh) S 2694 2695 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 18 0 1 0 76162032 1712128 128 1283457024 134512640 134593992 4287462160 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/2695/statm: 418 128 112 20 0 45 0 [pid=2697] ppid=2695 vsize=8228 CPUtime=5.27 /proc/2697/stat : 2697 (apt-pbo) S 2695 2695 29493 34817 29493 4202496 1749 19824 0 0 4 0 457 66 18 0 1 0 76162032 8425472 1426 1283457024 134512640 135745756 4290968976 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/2697/statm: 2057 1426 653 302 0 790 0 [pid=2702] ppid=2697 vsize=2568 CPUtime=0.01 /proc/2702/stat : 2702 (apt-get.sh) S 2697 2695 29493 34817 29493 4202496 403 490 0 0 1 0 0 0 18 0 1 0 76162579 2629632 272 1283457024 134512640 135304128 4291981040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2702/statm: 642 272 232 194 0 29 0 [pid=2705] ppid=2702 vsize=3916 CPUtime=0 /proc/2705/stat : 2705 (apt-get) R 2702 2695 29493 34817 29493 4202496 540 816 0 0 0 0 0 0 25 0 1 0 76162580 4009984 419 1283457024 134512640 134650667 4289481936 18446744073709551615 4294960130 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/2705/statm: 979 419 375 34 0 70 0 [pid=2707] ppid=2705 vsize=4044 CPUtime=0 /proc/2707/stat : 2707 (file) S 2705 2695 29493 34817 29493 4202496 448 0 0 0 0 0 0 0 25 0 1 0 76162580 4141056 367 1283457024 134512640 134522521 4294885872 18446744073709551615 4294960130 0 0 0 0 0 0 0 17 0 0 0 0 /proc/2707/statm: 1011 367 332 3 0 66 0 [pid=2709] ppid=2705 vsize=4048 CPUtime=0.13 /proc/2709/stat : 2709 (copy) R 2705 2695 29493 34817 29493 4202496 476 0 0 0 10 3 0 0 25 0 1 0 76162581 4145152 395 1283457024 134512640 134523002 4290792976 18446744073709551615 4159480409 0 0 0 0 0 0 0 17 0 0 0 0 /proc/2709/statm: 1012 395 342 3 0 67 0 Current children cumulated CPU time (s) 5.41 Current children cumulated vsize (KiB) 24476 [startup+6.00588 s] /proc/loadavg: 1.34 1.58 1.64 4/39 2709 /proc/meminfo: memFree=303192/1048576 swapFree=0/0 [pid=2695] ppid=2694 vsize=1672 CPUtime=0 /proc/2695/stat : 2695 (sh) S 2694 2695 29493 34817 29493 4202496 220 174 0 0 0 0 0 0 18 0 1 0 76162032 1712128 128 1283457024 134512640 134593992 4287462160 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/2695/statm: 418 128 112 20 0 45 0 [pid=2697] ppid=2695 vsize=8228 CPUtime=5.27 /proc/2697/stat : 2697 (apt-pbo) S 2695 2695 29493 34817 29493 4202496 1749 19824 0 0 4 0 457 66 18 0 1 0 76162032 8425472 1426 1283457024 134512640 135745756 4290968976 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/2697/statm: 2057 1426 653 302 0 790 0 [pid=2702] ppid=2697 vsize=2568 CPUtime=0.01 /proc/2702/stat : 2702 (apt-get.sh) S 2697 2695 29493 34817 29493 4202496 403 490 0 0 1 0 0 0 18 0 1 0 76162579 2629632 272 1283457024 134512640 135304128 4291981040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2702/statm: 642 272 232 194 0 29 0 [pid=2705] ppid=2702 vsize=52748 CPUtime=0.24 /proc/2705/stat : 2705 (apt-get) D 2702 2695 29493 34817 29493 4202496 567 1745 1 0 0 0 20 4 24 0 1 0 76162580 54013952 437 1283457024 134512640 134650667 4289481936 18446744073709551615 4294960130 0 0 4096 134217728 18446744071696460772 0 0 17 0 0 0 0 /proc/2705/statm: 13187 437 388 34 0 70 0 Current children cumulated CPU time (s) 5.52 Current children cumulated vsize (KiB) 65216 Child status: 100 Real time (s): 6.09033 CPU time (s): 5.54035 CPU user time (s): 4.8283 CPU system time (s): 0.712044 CPU usage (%): 90.9696 Max. virtual memory (cumulated for all children) (KiB): 87228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.8283 system time used= 0.712044 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25538 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= 103 runsolver used 0 second user time and 0 second system time The end